Giters

blanchette / interactive_theorem_proving_2024

Files associated with the course Interactive Theorem Proving at LMU SoSe 2024

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Interactive Theorem Proving 2024

Files associated with the course Interactive Theorem Proving in SoSe 2024 at LMU.

About

Files associated with the course Interactive Theorem Proving at LMU SoSe 2024

Languages

Language:Lean 100.0%