4 lines
130 B
Coq
4 lines
130 B
Coq
|
version https://git-lfs.github.com/spec/v1
|
||
|
|
oid sha256:8cbe6ab1b0879680eeaa10136a25e404b7baa690f87b8b905f13947d7b43d78e
|
||
|
|
size 46725
|