|Page 371 of 800||Search internet|
The check page defines a proof checker which can verify proofs relative to arbitrary, user define theories. The check page also defines a tactic engine which allows the user to define proof tactics. The tactic engine ultimately translates all proofs to the Logiweb sequent calculus.
|Page 371 of 800||Search logiweb.eu|