I

Iris Experiments

Just a bunch of random proofs in Coq/Iris done as learning experiments.