GitHub - klausnat/Adam_Chlipala_Certified_Programming_with_Dependent_Types_Exercises: COQ. Certified Programming with Dependent Types by Adam Chlipala. Exercises from the book. Solutions.

klausnat / Adam_Chlipala_Certified_Programming_with_Dependent_Types_Exercises Public

COQ. Certified Programming with Dependent Types by Adam Chlipala. Exercises from the book. Solutions.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
Exercises_02_From_Predicates_Natasha.v		Exercises_02_From_Predicates_Natasha.v
Exercises_03_From_Coinductive_Natasha.v		Exercises_03_From_Coinductive_Natasha.v
Exercises_04_From_Subset_Natasha.v		Exercises_04_From_Subset_Natasha.v
Exercises_05_From_MoreDep_Natasha.v		Exercises_05_From_MoreDep_Natasha.v
Exercises_06_From_DataStruct_Natasha.v		Exercises_06_From_DataStruct_Natasha.v
Exercises_07_From_Equality_Natasha.v		Exercises_07_From_Equality_Natasha.v
Exercises_Natasha.v		Exercises_Natasha.v