Work in progress. Attempt to prove semantic preservation (forward simulation) for a simple compiler.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool