swMATH ID: 19610
Software Authors: Serge Autexier, Susanne Biundo, Birgit Hummel, Dieter Hutter, Claus Sengler, Christoph Walther
Description: InKa - an inductive theorem prover. InKa: INduktionsbeweiser KArlsruhe is a semi-automated inductive theorem prover actively developed from 1985 till 1999. It is written in LISP (two versions: CMU-Lisp and Allegro-Lisp) and TCL/TK.
Homepage: https://github.com/theoremprover-museum/InKa
Source Code:  https://github.com/theoremprover-museum/InKa
Related Software: CLAM; NQTHM; Oyster; PLAGIATOR; ACL2; RRL; TPS; SPIKE; ABSFOL; KIV; Zipperposition; AVATAR; E Theorem Prover; HipSpec; QuickCheck; z3; TPTP; SPASS; VAMPIRE; VeriFun
Cited in: 18 Publications

Citations by Year