Hacker News new | ask | show | jobs
A mathematical proof assistant (v2) (github.com)
4 points by ptrj_ 397 days ago