Closed agilot closed 7 months ago
Adds an Apply tactic that can be used to prove a statement by calling a theorem with the arguments the user wants to apply to it. Avoids the use of Tautology in those cases.
lisa.automation
lisa.Main
Adds an Apply tactic that can be used to prove a statement by calling a theorem with the arguments the user wants to apply to it. Avoids the use of Tautology in those cases.
Changes
lisa.automation
lisa.Main