File
Writing
Notes on verification, programming languages, and whatever else is holding my attention. Each post is written in Typst and published here alongside a typeset PDF.
§1
Index
Nothing published yet. The first post is being written.
Notes on verification, programming languages, and whatever else is holding my attention. Each post is written in Typst and published here alongside a typeset PDF.
Nothing published yet. The first post is being written.