Lean Forward's repositories
logical_verification_2024
The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
cap_set_problem
A formalization of Ellenberg and Gijswijt's solution to the cap set problem.
class-group-and-mordell-equation
Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves
class-number
A paper on formalizing Dedekind domains and the class number
mathlib-classes
Use and abuse of instance parameters in the Lean mathematical library
mersenne-primes
A bijection between Mersenne primes and even perfect numbers
ring_equational_reasoner
Tactic to deduce new equations from given ones (using Gröbner-bases) in a ring or more precisely a commutative algebra over a field