[petanque] Make core protocol independent of Coq env runtime#771
Merged
ejgallego merged 14 commits intomainfrom rework_protoJun 8, 2024
+429-359
Commits
Commits on Jun 8, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
