Owner
b-mehta
6 indexed repositories · View on GitHub
-
maths-notes
Lecture notes from Cambridge maths
TeX · 77 stars
-
topos
Topos theory in lean
Lean · 65 stars
-
Lean · 27 stars
-
ABC-Exceptions
Exceptions to the ABC conjecture in Lean
Lean · 19 stars
-
Lean · 17 stars
-
EllipticCurveRank
Certifying properties of elliptic curves in Lean 4
Lean · 1 star
-
good first issue
-
light
-
Johnstone's exercise Open
-
light
-
Kleisli categories Open
-
enhancement
b-mehta/combinatorics#1 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
b-mehta/combinatorics#2 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
b-mehta/combinatorics#3 · 1 comment · 0 reactions · 0 assignees ·
-
Equality cases Openenhancement
b-mehta/combinatorics#4 · 0 comments · 0 reactions · 0 assignees ·
-
b-mehta/unit-fractions#17 · 0 comments · 0 reactions · 0 assignees ·
-
Add this graph Open
b-mehta/maths-notes#7 · 0 comments · 0 reactions · 0 assignees ·
-
auto-update-lean-fail
b-mehta/ABC-Exceptions#65 · 0 comments · 0 reactions · 0 assignees ·
-
hopscotch-action
b-mehta/EllipticCurveRank#183 · 0 comments · 0 reactions · 0 assignees ·