.gitlab-ci.yml

opam

theories/algebra/cmra.v

theories/algebra/cofe_solver.v

theories/algebra/ufrac_auth.v

theories/base_logic/lib/fancy_updates.v

theories/examples/refinements/derived.v

theories/examples/refinements/memoization.v

theories/examples/refinements/refinement.v

theories/examples/safety/par.v

theories/examples/termination/adequacy.v

theories/examples/termination/eventloop.v

theories/examples/termination/logrel.v

theories/heap_lang/lifting.v

theories/heap_lang/metatheory.v

theories/program_logic/adequacy.v

theories/program_logic/refinement/ref_source.v

theories/program_logic/refinement/tc_weakestpre.v

theories/program_logic/weakestpre.v