bubbler is a theory exploration tool which helps you synthesize (1) conditional rewrite rules, and (2) the analyses which allow your rewrite rules to use them!
stay tuned. this is the future.
-
Notifications
You must be signed in to change notification settings - Fork 1
ninehusky/bubbler
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
blub blub
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published