knowsys/Formale-Systeme-in-LEAN
LEAN4 formalization of the undergraduate lecture "Formale Systeme" at TU Dresden (WIP)
LeanApache-2.0
Issues
- 1
- 0
Upgrade to Lean 4.11.0
#26 opened - 2
LEAN4 formalization of the undergraduate lecture "Formale Systeme" at TU Dresden (WIP)
LeanApache-2.0