Javascript Interactive Higher-Order Theorem Prover
Automated Reasoning in Higher Order Logic
Show Top Level Activities Only
I gave a talk at CAMELEON in Cambridge on April 23
Interactive Higher Order Theorem Proving on the Web
Basil Smith's Elementary Theory of Relations
Co-lecturing Introduction to Computational Logic Summer Semester 2008
simptcheck: Simple Proof Term Checker in OCaml
Poking Fun at our Spanish Allies