Arrange by
Kind
Year (Desc)
Year (Asc)
View
All Documents
Some Documents
Teaching Experience
Code Summary
Code Details
Please respect all copyrights when downloading.
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