index
:
choc
main
An implementation of the Calculus of Construction.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Choc
Choc is an implementation of the Calculus of Construction, which is also the calculus used in Coq.