coq-in-coq

A formalisation of the Calculus of Constructions

GitHub

62 stars
13 watching
7 forks
Language: Coq
last commit: 2 months ago