madvorak / lean4-tutorial

Supplementary material for Thomas Henzinger's course Formalisms Every Computer Scientist Should Know

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

madvorak/lean4-tutorial Stargazers