Skip to content
Snippets Groups Projects
.gitignore 218 B
Newer Older
Lennard Gäher's avatar
Lennard Gäher committed
_build/
.merlin
\#*\#
.\#*
*~
*.bak
.coq-native/
builddep/
_opam
*.timing
.lia.cache
.nia.cache
.DS_store
Lennard Gäher's avatar
Lennard Gäher committed
.vscode/
**/case_studies/*/target
**/case_studies/*/log
**/case_studies/*/Cargo.lock
**/rustc-ice-*
_CoqProject