Hacker News new | ask | show | jobs
by tachim 154 days ago
There have been many contributions to mathlib from Aristotle already, it’s a major use case for our users