Stuff I learnt in 2024 (by bollu) — discussion

#formalmethods