Martin Dvorak

Ph.D. student in the Kolmogorov group

E-mail: martin.dvorak@ist.ac.at

Teaching materials

Computer Science Track Core Course

Research interests

Background

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.