The top documents tagged [decidable proposition]

Certified Programming with Dependent Types
Documents Certified Programming with Dependent Types

29 views