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

fairly decent sidebar behaviour now. master
Author Liam O'Connor Date Commit b3ca4c52 Parent 8187a085