Web Directory
 

INKA Inductive Theorem Prover

  Link Details for: INKA Inductive Theorem Prover
Link Title: INKA Inductive Theorem Prover Open in a new window
Link URL: http://www.dfki.de/vse/systems/inka/
Link Details: First-order theorem prover with induction based on the explicit induction paradigm. It is based on a full first-order calculus, a special variant of the resolution calculus with paramodulation.
Category: Top : Computers : Programming : Languages : Specification
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
INKA Inductive Theorem Prover