Revision 1f6644e58663839adf115d3c56e4852772fe9d80 authored by Lennard Gäher on 08 September 2020, 16:00:06 UTC, committed by Fabian Kunze on 11 September 2020, 13:44:43 UTC
1 parent b92d48d
.gitignore
*.aux
*.vo
*.v.d
*.glob
*Makefile.coq
*Makefile.coq.d
*Makefile.coq.conf
*.coqdeps.d
*.lia.cache
*.nia.cache
*.vok
*.vos
external/
Computing file changes ...
