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

About

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

License:The Unlicense


Languages

Language:Lean 100.0%