-
Notifications
You must be signed in to change notification settings - Fork 115
Insights: boogie-org/boogie
Overview
-
0 Active issues
-
- 0 Merged pull requests
- 2 Open pull requests
- 0 Closed issues
- 0 New issues
There hasn’t been any commit activity on boogie-org/boogie in the last week.
Want to help out?
2 Pull requests opened by 1 person
-
Add `/warnVacuousProofs` option
#1016 opened
Apr 22, 2025 -
Make the LeanAuto prover use classical reasoning
#1017 opened
Apr 23, 2025