The top documents tagged [equality proofs]

Certified Programming with Dependent Types
Documents Certified Programming with Dependent Types

29 views