Comment by tachim
2 days ago
There have been many contributions to mathlib from Aristotle already, it’s a major use case for our users
2 days ago
There have been many contributions to mathlib from Aristotle already, it’s a major use case for our users
No comments yet
Contribute on Hacker News ↗