holbert
holbert copied to clipboard
liamoc
A graphical interactive proof assistant designed for education
Results
2
holbert issues
Sort by
recently updated
recently updated
newest added
Support for multi-document "books" and libraries is becoming necessary, but a number of design options present themselves. - **Book-style**: Each document is a chapter in the book, and Chapters 1...
enhancement