Certified Programming with Dependent Types

GPTKB entity

Statements (14)