Master thesis project QCS with Maris Ozols | If you are on this page, then that most likely means you are my supervisor or possibly someone else affiliated to Lean and interested in formalisation. Anyway the goal of this site is to simply have some place to vent my thoughts on what I have read on/worked on which I then hopefully can introduce to my thesis, if at all useful to the story of my learning there.

Posts

Nov 11, 2026
Reading up on a lot of history of formalisation and starting to read metaprogramming for Lean
Oct 28, 2026
Finally have some time to work
Sep 11, 2026
Starting the preparation of the thesis