9 ms·Checkout the work on homotopy type theory and proof assistants like Coqby tbenst 8y agoCheckout the work on homotopy type theory and proof assistants like Coq