https://github.com/aronisstav/formal-trace-theory
Formal proof of the first lemma from the Optimal DPOR paper in proof.
https://github.com/aronisstav/formal-trace-theory
Last synced: 3 months ago
JSON representation
Formal proof of the first lemma from the Optimal DPOR paper in proof.
- Host: GitHub
- URL: https://github.com/aronisstav/formal-trace-theory
- Owner: aronisstav
- Created: 2015-12-16T12:42:34.000Z (over 9 years ago)
- Default Branch: master
- Last Pushed: 2015-12-16T12:42:52.000Z (over 9 years ago)
- Last Synced: 2025-01-21T01:30:05.660Z (4 months ago)
- Language: Coq
- Size: 11.7 KB
- Stars: 3
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files: