4 lines
131 B
Coq
4 lines
131 B
Coq
|
version https://git-lfs.github.com/spec/v1
|
||
|
|
oid sha256:885e698209ba8c95138c3e0aa874cbe4e02de2dc1c4274a32791444c6d7f38c5
|
||
|
|
size 291712
|