Skip to main content
Darius Foo
Top level navigation menu
Blog
Research
Work
Other
4 Dec 2024
Mechanising staged logic
4 Oct 2024
Getting started with setoid rewriting in Coq
30 Dec 2022
Satisfying Music Theory
24 Oct 2019
SATB Bird