start | find | index | login or register | edit
Coq
by earl, 4805 days ago
"Coq [..] is a formal proof management system: a proof done with Coq is mechanically checked by the machine."

Written in [create OCaml].

- http://coq.inria.fr/
powered by vanilla
echo earlZstrainYat|tr ZY @.
earl.strain.at • esa3 • online for 6772 days • c'est un vanilla site