swh:1:snp:285d0862cad82752ceda4e56bdf44014e05fbf49
Tip revision: 138245ce9172b45d91ec49eda1cc67ef155bc14e authored by Andrej Dudenhefner on 26 March 2024, 12:06:22 UTC
Merge pull request #218 from mrhaandi/fix-Arguments-typo
Merge pull request #218 from mrhaandi/fix-Arguments-typo
Tip revision: 138245c
.gitignore
*.aux
*.vo
*.v.d
*.glob
*Makefile.coq
*Makefile.coq.d
*Makefile.coq.conf
*.coqdeps.d
*.lia.cache
*.nia.cache
*.vok
*.vos
*.crashcoqide
theories/.vscode
*.#*