y’all keen on homotopy type theory or we sticking with ZFC for now?
Please Login to reply.
For advancing proof tech? Or.. for like analysis, algebra, and number theory?
for the foundations of mathematics
Ghey maths?
