Open fizruk opened 1 year ago
This might be a good collaborative project, since it is so large, and will involve a lot of new definitions, which we should try to name properly, adhering to the conventions of the style guide, which is here:
https://github.com/rzk-lang/sHoTT/blob/main/src/STYLEGUIDE.md
So, for instance, if someone wants to work on this with me (multiple people, one computer, at least until everyone gets the hang of things) let me know.
For those following along at home I'm working on Theorem 11.8.
I'm going to pause my work on Theorem 11.8 because it will help to have section 8.5 finished first :)
This should be split into sub-issues.