liamoc.net / holbert-ng
the next generation of the in-browser educational proof assistant
Star
Fork 2
Watch

fixing bugs. added “simple ho terms” because I can’t debug HOTerm. master
Author Liam O'Connor Date Commit c5d096bd Parent f4757a8f