30:15 duration 30 minutes 15 seconds
Cos326-13-04-module-equivalence
Proving the Equivalence of Two Modules
23:36 duration 23 minutes 36 seconds
cos326-2020-06-02-simple-evaluation
Implementing Ocaml in Ocaml: Part 2: Substitution and Evaluation