# config file CONFIGURE SUB_CONFIGURE # Object files, in general *.glob *.vo *.vo[ks] .*.aux # Generated files .depend # Generated by MacOS .DS_Store # Coq caches .lia.cache .nia.cache .nra.cache .csdp.cache assignments compcert_lib monadlib pv qcp qualifiedcprogramming sets .gitmodules _CoqProject .devcontainer/ .vscode/