Martin Dvorak

Ph.D. student in the Kolmogorov group


Teaching materials

Computer Science Track Core Course

Research interests


My study notes

NONE of these texts is a peer-reviewed publication! They serve for educational purposes and they do not contain any original discoveries.

I started learning Lean in order to write fully-formal proofs. You can see some of my early attempts in my repository.