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