3 ms·
I have studied math and was in some lectures about category theory. I still don't get what the project is about and that fact intrigues me.
by hkopp 3y ago
I have studied math and was in some lectures about category theory. I still don't get what the project is about and that fact intrigues me.
- qsort 3y agoI majored in CS and followed two graduate level courses on category theory. If it's any consolation I have no idea either.
- Loq 3y agoIt's just a theorem prover. Like every theorem prover it has a logic that you use for stating propositions, and proving theorem. The logic is a specific logic that is closely related to HoTT.