InKa
From MaRDI portal
Software:31435
No author found.
Source code repository: https://github.com/theoremprover-museum/InKa
Related Items (20)
Termination of constructor systems ⋮ A recursion planning analysis of inductive completion ⋮ Induction using term orders ⋮ Middle-out reasoning for synthesis and induction ⋮ A calculus for and termination of rippling ⋮ Superposition with structural induction ⋮ Reasoning About Incompletely Defined Programs ⋮ Proving theorems by reuse ⋮ Termination of algorithms over non-freely generated data types ⋮ INKA: The next generation ⋮ Unnamed Item ⋮ Unnamed Item ⋮ MBase: Representing knowledge and context for the integration of mathematical software systems ⋮ Synthesis of induction orderings for existence proofs ⋮ Induction using term orderings ⋮ Mathematical Knowledge Management ⋮ Plagiator — A learning prover ⋮ Sound lemma generation for proving inductive validity of equations ⋮ Induction and Skolemization in saturation theorem proving ⋮ On terminating lemma speculations.
This page was built for software: InKa
