_CoqProject

-Q theories solutions
-Q exercises exercises
-docroot iris-tutorial
-arg -async-proofs-cache -arg force

theories/basics.v
theories/pure.v
theories/lang.v
theories/specifications.v
theories/persistently.v
theories/linked_lists.v
theories/later.v
theories/arrays.v
theories/gr_predicates.v
theories/resource_algebra.v
theories/invariants.v
theories/timeless.v
theories/structured_conc.v
theories/counter.v
theories/spin_lock.v
theories/ticket_lock.v
theories/adequacy.v
theories/merge_sort.v
theories/custom_ra.v
theories/ofe.v

exercises/basics.v
exercises/pure.v
exercises/lang.v
exercises/specifications.v
exercises/persistently.v
exercises/linked_lists.v
exercises/later.v
exercises/arrays.v
exercises/gr_predicates.v
exercises/resource_algebra.v
exercises/invariants.v
exercises/timeless.v
exercises/structured_conc.v
exercises/counter.v
exercises/spin_lock.v
exercises/ticket_lock.v
exercises/adequacy.v
exercises/merge_sort.v
exercises/custom_ra.v
exercises/ofe.v