Archives

Mon 09 November 2020
Untangling mechanized proofs
Fri 26 June 2020
A brief introduction to Iris
Sat 20 June 2020
Recording and editing a talk for an online conference
Fri 19 June 2020
How to write a type-safe unwrap (aka fromJust)
Wed 17 June 2020
Computing with opaque proofs