Implement evaluation of loop programs

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

Closed monsterkrampe closed 1 year ago

monsterkrampe commented 1 year ago

Implement a function that runs a given loop program on a single input number.