-
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
Add result monad and change add_block to return a result
#21
by jakobbotsch
was merged May 10, 2020
Loading…
Prove lemmas using new tactics from exec framework
#5
by jakobbotsch
was merged Nov 20, 2019
Loading…
Update exec framework and derive Serializable where possible
#4
by jakobbotsch
was merged Nov 4, 2019
Loading…
Previous Next
ProTip!
Updated in the last three days: updated:>2024-10-25.