Starting a Coq NetKAT
Stars
9
Forks
1
Watchers
Open Issues
0
Overall repository health assessment
No package.json found
This might not be a Node.js project
User
6
commits
Update _tags file
aeac414
Upgrade build scripts.
5d7e111
Delete tmp.v
62cb977
Delete IdemSemiRingAxioms
9bba119
Merge pull request #1 from frenetic-lang/bvector_eqdec
c31812f
bvector_eqdec: found a better way
18c9890
completely misunderstood the QuickCheck API
922f6c7
ONF compilation algorithm, based on POPL'14 paper
2f86084
moved Coq code
0da7731
making pretty
c050a23
finished
f009625
resealed PACKET
f1c0836
cleaned up PHAxioms
d9a6913
name changes
833a13e
soundness done
a30692c