Skip to content
View adomani's full-sized avatar
17 followers · 0 following

Achievements

Achievement: StarstruckAchievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3

Achievements

Achievement: StarstruckAchievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3

Block or report adomani

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

Macaulean / Macaulean

Macaulay2<->Lean interface

Macaulay2 1 1 Updated Nov 6, 2025

adomani / MA4N1_Theorem_proving_with_Lean

MA4N1 Theorem Proving with Lean

Lean 16 5 Updated Nov 11, 2025

lftcm2023 / lftcm2023_source

Forked from avigad/mathematics_in_lean_source

Exercises for the LftCM2023 workshop

Lean 3 Updated Sep 7, 2023

leanprover-community / mathlib4

The math library of Lean 4

Lean 2,516 877 Updated Nov 12, 2025

leanprover-community / lean4-metaprogramming-book

Lean 266 69 Updated Feb 28, 2025

leanprover-community / mathlib3

Lean 3's obsolete mathematical components library: please use mathlib4

Lean 1,668 292 Updated Jun 28, 2024

leanprover-community / lean-liquid

💧 Liquid Tensor Experiment

Lean 210 14 Updated Jan 23, 2024

leanprover / elan

The Lean version manager

Rust 440 48 Updated Oct 6, 2025