liamoc.net / holbert-ng
the next generation of the in-browser educational proof assistant
1
fork

Configure Feed

Select the types of activity you want to include in your feed.

testing CI with this commit

Liam O’Connor 6de84862 0d7282eb

+1
+1
README.md
··· 1 1 ## Holbert NG 2 2 3 + 3 4 This is a new, from-scratch development of my [reconceived design](https://liamoc.net/forest/loc-000V) of the Holbert proof assistant -- the browser based Higher Order Logic proof assistant. 4 5 5 6 Rather than a standalone web-app, Holbert NG will be a library of web components that can be seamlessly integrated into online documents.