Initial release
Pre-release
Pre-release
·
226 commits
to master
since this release
Initial release of the Isabelle/HoTT object logic, coinciding with the submission of my MS thesis.
There is still lots of work to be done, and it is quite likely that future versions will not look very much like the current state.
In particular, polymorphism is a pain.
Also proof methods.