GeezerVison is showing github.com — Lean Forward
Popular repositories
Loading
The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials
Lean
178
23
The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
Lean
70
9
The Hitchhiker's Guide to Logical Verification (2026 edition) and associated materials
Lean
58
17
A formalization of Ellenberg and Gijswijt's solution to the cap set problem.
Lean
8
A paper on formalizing Dedekind domains and the class number
Lean
3
Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves
Lean
3
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
Sort
Showing 10 of 14 repositories
lean-forward/logical_verification_2026's past year of commit activity
Lean
58
17
3
1
Updated Jan 30, 2026
lean-forward/logical_verification_2025's past year of commit activity
Lean
178
23
1
1
Updated Apr 22, 2025
lean-forward/logical_verification_2024's past year of commit activity
Lean
70
9
0
0
Updated Mar 28, 2024
mathlib-classes
Public
Use and abuse of instance parameters in the Lean mathematical library
lean-forward/mathlib-classes's past year of commit activity
Lean
1
1
0
0
Updated Apr 1, 2023
lean-forward/class-group-and-mordell-equation's past year of commit activity
Lean
3
0
0
0
Updated Dec 13, 2022
lean-forward/class-number-journal's past year of commit activity
Lean
0
Apache-2.0
0
0
0
Updated Jun 24, 2022
cap_set_problem
Public
A formalization of Ellenberg and Gijswijt's solution to the cap set problem.
lean-forward/cap_set_problem's past year of commit activity
Lean
8
0
0
0
Updated Jul 4, 2021
class-number
Public
A paper on formalizing Dedekind domains and the class number
lean-forward/class-number's past year of commit activity
Lean
3
0
0
0
Updated Jun 28, 2021
ring_exp
Public
A short paper on the `ring_exp` tactic
lean-forward/ring_exp's past year of commit activity
TeX
1
0
0
0
Updated Jun 30, 2020
ring_equational_reasoner
Public
Tactic to deduce new equations from given ones (using Gröbner-bases) in a ring or more precisely a commutative algebra over a field
lean-forward/ring_equational_reasoner's past year of commit activity
Lean
0
1
0
0
Updated Nov 14, 2019
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.