Arc Forumnew | comments | leaders | submit | fabienh's submissionslogin
1.
Metamath-like proof checker as embeded language in arc (github.com)
5 points by fabienh 5054 days ago | 4 comments