Auto Sledgehammer is a slightly smart wrapper of Sledgehammer, allowing users to call Sledgehammer using a normal tactic like ‹auto›.
Example:
lemma foo: ‹(1::nat) + 2 = 3›
by auto_sledgehammerFor more details, we refer readers to README.pdf.
-
Notifications
You must be signed in to change notification settings - Fork 0
This Isabelle session provides a smart tactic that wraps Sledgehammer
License
xqyww123/auto_sledgehammer
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
This Isabelle session provides a smart tactic that wraps Sledgehammer
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published