CtCoq

CtCoq
All Links

Share this:

Details of CtCoq

About CtCoq
CtCoq- a working environment for the Coq theorem prover (XWindow)
Algorithms