.github/workflows/build.yml

_CoqProject

aneris.opam

theories/aneris_lang/adequacy.v

theories/aneris_lang/lang.v

theories/aneris_lang/lib/dictionary.v

theories/aneris_lang/lifting.v

theories/aneris_lang/program_logic/aneris_adequacy.v

theories/aneris_lang/program_logic/aneris_hoare.v

theories/aneris_lang/program_logic/aneris_weakestpre.v

theories/aneris_lang/resources.v

theories/aneris_lang/state_interp.v

vendor/record-update