I have studied math and was in some lectures about category theory. I still don'... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

hkopp on Sept 28, 2023 | parent | context | favorite | on: RZK: Experimental proof assistant for synthetic ∞-...

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.

Loq on Sept 28, 2023 | [–]

It'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.

qsort on Sept 28, 2023 | [–]

I majored in CS and followed two graduate level courses on category theory. If it's any consolation I have no idea either.

Consider applying for YC's Winter 2027 batch! Applications are open till November 2.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact