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