Science · Mathematics

CtCoq

Listed in the directory · updated 23 Jul 2022

Visit website

Find them on

Website

Share

About CtCoq

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

Tags

Algorithms

Where it sits

Science Mathematics

More in Mathematics