Notes

Welcome to my blog! Here I’ll share notes on automated reasoning, formal methods, theoretical computer science, mathematics, machine learning, and more.