-
Notifications
You must be signed in to change notification settings - Fork 19
Pull requests: AU-COBRA/ConCert
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Update exec framework and derive Serializable where possible
#4
by jakobbotsch
was merged Nov 4, 2019
Loading…
Add result monad and change add_block to return a result
#21
by jakobbotsch
was merged May 10, 2020
Loading…
Update for new MetaCoq with simplified wbcv eval
#38
by jakobbotsch
was merged Sep 21, 2020
Loading…
Previous Next
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.