AI4Math
AI4Math accelerates mathematical research with transparent, reproducible, and AI-powered methods.
- 2 followers
- Canada
Popular repositories Loading
-
awesome-interactive-theorem-prover
awesome-interactive-theorem-prover PublicA curated list of awesome interactive theorem prover frameworks
-
Repositories
Showing 2 of 2 repositories
- .github Public
AI4Maths/.github’s past year of commit activity - awesome-interactive-theorem-prover Public
A curated list of awesome interactive theorem prover frameworks
AI4Maths/awesome-interactive-theorem-prover’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…