Automated Reasoning in Higher Order Logic
Code
82 files of code as parts of the following systems: (Show Details)
- TPS (Official Site)
- Simptcheck (Official Site)
- Scunak 1.0 (Official Site)
- Jitpro (Official Site)
- ETPS (Official Site)
- TPS Java Interface (Official Site)
- JSIRSRPNLO (The JavaScript (Ir)rationality of Square Roots Prover with Natural Language Output)
Total Lines of Common Lisp: 62548
Total Lines of OCaml: 1337
Total Lines of ocamllex: 36
Total Lines of ocamlyacc: 46
Total Lines of JavaScript: 4702
Total Lines of Java: 3946