Master’s student in Computer Science at ENS de Lyon.
A tool for streamlining Iris proofs of OCaml programs.
🔗 Source repository
