y’all keen on homotopy type theory or we sticking with ZFC for now?
Ghey maths?
Please Login to reply.
No replies yet.
