LEAN4 formalization of the undergraduate lecture "Formale Systeme" at TU Dresden (WIP)
Primary LanguageLeanApache License 2.0Apache-2.0