project-numina
Popular repositories Loading
-
-
-
-
-
combinatorics
combinatorics PublicA Lean 4 library on combinatorics as an enhancement to mathlib4.
Lean 1
-
Repositories
Showing 10 of 10 repositories
- LeanEuclid Public Forked from loganrjmurphy/LeanEuclid
LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
project-numina/LeanEuclid’s past year of commit activity - annotation-guidelines Public
project-numina/annotation-guidelines’s past year of commit activity - lean-exemples Public
project-numina/lean-exemples’s past year of commit activity - aimo-progress-prize Public
project-numina/aimo-progress-prize’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Most used topics
Loading…