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