-
Notifications
You must be signed in to change notification settings - Fork 19
Insights: abella-prover/abella
Overview
-
0 Active pull requests
-
- 0 Merged pull requests
- 0 Open pull requests
- 2 Closed issues
- 0 New issues
Loading
Could not load contribution data
Please try again later
Loading
2 Issues closed by 1 person
-
Naked Not_found exception for permute, compute.
#162 closed
Dec 31, 2024 -
Split: Variable renaming required
#161 closed
Dec 30, 2024