sync with 2023 edition of the course

_CoqProject

theories/program_logics/concurrency.v

theories/program_logics/hoare.v

theories/program_logics/ipm.v

theories/program_logics/ipm_persistency.v

theories/program_logics/later_loeb.v

theories/program_logics/later_playground.v

theories/program_logics/logrel/ghost_state.v

theories/program_logics/logrel/logrel.v

theories/program_logics/resource_algebras_1.v

theories/program_logics/resource_algebras_2.v

theories/type_systems/stlc/cbn_logrel.v

theories/type_systems/stlc/exercises01.v

theories/type_systems/stlc/exercises02.v

theories/type_systems/stlc/lang.v

theories/type_systems/stlc/lecture2.v

theories/type_systems/stlc/logrel.v

theories/type_systems/stlc/notation.v

theories/type_systems/stlc/parallel_subst.v

theories/type_systems/stlc_extended/bigstep.v