theoremprover-museum/InKa

InKa - an inductive theorem prover

Common Lisp