tobast/mpri-coq-project
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Compare commits

merge into: tobast:submitted
Branches Tags
tobast:master
tobast:submitted
tobast:certain_termination_wip
tobast:MEH
...
pull from: tobast:master
Branches Tags
tobast:master
tobast:submitted
tobast:certain_termination_wip
tobast:MEH
These branches are equal. There is no need to create a pull request.