GitHub - liamoc/holbert: A graphical interactive proof assistant designed for education - discu.eu

Hacker News

Holbert: An Interactive Theorem Prover https://github.com/liamoc/holbert 9 comments 26/5/2022

Linking pages

GitHub - yairchu/awesome-structure-editors: A list of projectional and structural editors https://github.com/yairchu/awesome-structure-editors 0 comments

Linked pages

GitHub - dmjio/miso: A tasty Haskell front-end framework https://github.com/dmjio/miso 66 comments
GitHub - eligrey/FileSaver.js: An HTML5 saveAs() FileSaver implementation https://github.com/eligrey/filesaver.js/ 4 comments

Related searches:

Search whole site: site:github.com

Search title: GitHub - liamoc/holbert: A graphical interactive proof assistant designed for education

See how to search.

Submit link to: