.gitignore

_CoqProject

theories/heap_lang/lib/assert.v

theories/heap_lang/lifting.v

theories/heap_lang/proofmode.v

theories/heap_lang/total_adequacy.v

theories/program_logic/total_adequacy.v

theories/program_logic/total_ectx_lifting.v

theories/program_logic/total_lifting.v

theories/program_logic/total_weakestpre.v

theories/program_logic/weakestpre.v

theories/proofmode/class_instances.v

theories/proofmode/classes.v

theories/proofmode/tactics.v

theories/tests/heap_lang.v

theories/tests/list_reverse.v

theories/tests/proofmode.v

theories/tests/tree_sum.v