A mathematical proof assistant (v2)

4 points| ptrj_ | 9 months ago |github.com