Pinned Repositories
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
coe_tactic
field
a tactic to normalize field expressions
lean-forward
logical_verification_2024
The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
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_exp
A short paper on the `ring_exp` tactic
Lean Forward's Repositories
lean-forward/logical_verification_2024
The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
lean-forward/cap_set_problem
A formalization of Ellenberg and Gijswijt's solution to the cap set problem.
lean-forward/class-group-and-mordell-equation
Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves
lean-forward/class-number
A paper on formalizing Dedekind domains and the class number
lean-forward/field
a tactic to normalize field expressions
lean-forward/mathlib-classes
Use and abuse of instance parameters in the Lean mathematical library
lean-forward/ring_exp
A short paper on the `ring_exp` tactic
lean-forward/class-number-journal
lean-forward/coe_tactic
lean-forward/lean-forward
lean-forward/mersenne-primes
A bijection between Mersenne primes and even perfect numbers
lean-forward/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