/Formale-Systeme-in-LEAN

LEAN4 formalization of the undergraduate lecture "Formale Systeme" at TU Dresden (WIP)

Primary LanguageLeanApache License 2.0Apache-2.0

Issues