Popular repositories Loading
-
logical_verification_2024
logical_verification_2024 PublicThe Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
-
logical_verification_2025
logical_verification_2025 PublicThe Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials
-
cap_set_problem
cap_set_problem PublicA formalization of Ellenberg and Gijswijt's solution to the cap set problem.
Lean 7
-
class-number
class-number PublicA paper on formalizing Dedekind domains and the class number
Lean 3
-
class-group-and-mordell-equation
class-group-and-mordell-equation PublicFormalized Class Group Computations and Integral Points on Mordell Elliptic Curves
Lean 3
Repositories
- logical_verification_2025 Public
The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials
lean-forward/logical_verification_2025’s past year of commit activity - logical_verification_2024 Public
The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
lean-forward/logical_verification_2024’s past year of commit activity - class-group-and-mordell-equation Public
Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves
lean-forward/class-group-and-mordell-equation’s past year of commit activity - class-number-journal Public
lean-forward/class-number-journal’s past year of commit activity - 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 - mersenne-primes Public Forked from Vierkantor/mersenne-primes
A bijection between Mersenne primes and even perfect numbers
lean-forward/mersenne-primes’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…