Isaac's repositories
euclidesprobationem.github.io
Omega Proof Group Website
Language:HTMLNOASSERTION000
formalgeo7k
formalgeo7k-v1 annotation.
Language:PythonMIT000
NCHManager
Non-cultural heritage project management system.
Language:JavaScriptMIT000