4 lines
131 B
Coq
Raw Permalink Normal View History

2024-12-04 08:58:48 +00:00
version https://git-lfs.github.com/spec/v1
oid sha256:2b2a857cec5f805cbe963b9a807fd1ed15b926c625693b57690c857f95c818c5
size 477485