|
Simptcheck: Simple Proof Term Checker in OCaml
Javascript Interactive Higher-Order Theorem Prover
Automated Reasoning in Higher Order Logic |
Simptcheck: Simple Proof Term Checker in OCaml
Javascript Interactive Higher-Order Theorem Prover
Automated Reasoning in Higher Order Logic |
