Inductive Proof System: Difference between revisions
Jump to navigation
Jump to search
(Stub) |
(No difference)
|
Revision as of 18:01, 14 June 2024
An Inductive Proof System is an Accelerated Simulator and Decider which operates by automatically detecting and proving transition rules using Mathematical Induction.
TODO(Shawn): Provide formal definition.