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

Upgrade to Lean 4.11.0 #26

Closed monsterkrampe closed 1 month ago

monsterkrampe commented 1 month ago

The current main branch still runs on Lean 4.7.0. We should upgrade to the latest stable version (which is 4.11.0 at the moment).