Hacker News new | ask | show | jobs
by mazsa 617 days ago
https://github.com/metamath/set.mm , if you do not object to your theorems being machine-provable.