MPCTT

Modeling and Proving in Computational Type Theory

79 stars

9 watching

10 forks

Language: Coq

last commit: 3 months ago

Linked from 1 awesome list

Backlinks from these awesome lists:

coq-community/awesome-coq