Coq
by earl, 6486 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/
search
4 active users
- unknown (4)
backlinks (more)
recent stores (more)
echo earlZstrainYat|tr ZY @.
