Add an experimental backend that uses Lean to discharge goals#850
Merged
atomb merged 33 commits intoboogie-org:masterfrom atomb:basic-lean-autoMar 19, 2024
+1,351-10
Commits
Commits on Feb 14, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
