Highlights
- Pro
Block or Report
Block or report ounuvar
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLists (1)
Sort Name ascending (A-Z)
Stars
Language: Lean
Sort by: Most stars
2
stars
written in Lean
Clear filter
Lean 4 programming language and theorem prover
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)