liamoc.net / holbert-ng
the next generation of the in-browser educational proof assistant
Star
Fork 2
Watch
holbert-ng forest theme
3 folders · 25 files
fonts
javascript-source
LICENSES
.gitignore
android-chrome-192x192.png
android-chrome-512x512.png
apple-touch-icon.png
bundle-js.sh
core.xsl
default.xsl
euler.woff
favicon-16x16.png
favicon-32x32.png
favicon.ico
forester.js
index.html
katex.min.css
links.xsl
metadata.xsl
package-lock.json
package.json
style.css
tree.xsl
typicons.eot
typicons.min.css
typicons.svg
typicons.ttf
typicons.woff