search

knowsys / Formale-Systeme-in-LEAN

LEAN4 formalization of the undergraduate lecture "Formale Systeme" at TU Dresden (WIP)
Apache License 2.0
8 stars 0 forks source link

update lean to 4.2.0 / stable #16

Closed matzemathics closed 11 months ago