9/22/2025
•
EN
Identity Types
Explores identity and equality types in type theory, contrasting definitional vs. propositional equality and their role in proofs.