An encoding of the Calculus of Inductive Constructions (as implemented in Coq) in Europa.
Switch branches/tags
Nothing to show
Clone or download
Pull request Compare This branch is 75 commits ahead of mboes:master.
Guillaume Burel
Latest commit 0347f0b Mar 7, 2013