Revision d4d20c9b11e6e4ea667cd2a33e7bb4976aa5f935 authored by Lennard Gäher on 23 July 2020, 19:38:39 UTC, committed by Lennard Gäher on 23 July 2020, 19:38:39 UTC
1 parent f651de5
.gitignore
*.aux
*.vo
*.v.d
*.glob
*Makefile.coq
*Makefile.coq.d
*Makefile.coq.conf
*.coqdeps.d
*.lia.cache
*.nia.cache
*.vok
*.vos
Computing file changes ...
