theoremprover-museum/InKa

InKa - an inductive theorem prover

GitHub repository with 5 stars and 1 forks.

Language: Common Lisp

Open provider repository