Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
Newclid
Automatic solver for plane geometry problems.
Other
Emerging
GitHub
Stars
—
Forks
—
Contributors
7
Last push
10mo ago
Recent commits
Latest commits.
chore: Add missing pyyaml dependency (#38)
3ac448e
AutoMathïs
10mo ago
chore: Add more animations for definitions(#33)
e7c814e
vladmirsicca-harmonic
10mo ago
chore: More animations (#32)
c9d8e74
vladmirsicca-harmonic
10mo ago
chore: Add missing animations (#31)
7068116
vladmirsicca-harmonic
10mo ago
chore: Add links to the notebooks in the documentation faq. (#30)
930e436
vladmirsicca-harmonic
10mo ago
chore: Remove cairos dependency (#29)
bdfc82c
vladmirsicca-harmonic
10mo ago
docs: Update README installation section
ada8aa8
AutoMathis
10mo ago
chore: Make ruff ignore notebooks
800dee6
AutoMathis
10mo ago
Top contributors
Builders behind this project.
MathisFederico
345 commits
vladmirsicca
291 commits
thtrieu
7 commits
j84315853
5 commits
friederrr
5 commits
vladmirsicca-harmonic
5 commits
egretwAlker
1 commits
