4 lines
131 B
Coq
4 lines
131 B
Coq
|
version https://git-lfs.github.com/spec/v1
|
||
|
|
oid sha256:92582ecae453a5bd27ac549581f74a2903bdd76b72370452164aea7acf990036
|
||
|
|
size 236218
|