IsaRARE is a plugin for Isabelle to create lemmas from term rewrite rules written in the RARE language.
The user manual can be found in the docs/ subdirectory.
To re-build the documentation run
isabelle build -d. IsaRARE
in the IsaRARE directory.
-
Notifications
You must be signed in to change notification settings - Fork 0
cvc5/IsaRARE
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Generates Isabelle lemmas from RARE rewrite rules
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published