List of All Inductive Theorem Provers
in The World

An attempt to maintain a list of all automatic inductive theorem provers. By "automatic" we mean a prover that automatically selects and applies the induction scheme as well as attempts to solve the base and step cases.

Recent and Supported Provers

Older or Unsupported Provers