Zulip Chat Archive
Stream: Lean for teaching
Topic: Verified Compiler
Marcus Rossel (Jan 18 2025 at 16:17):
I wrote a small self-contained verified compiler for a toy language which was intended to be used for a course, but never was. Thought I would leave it here in case this is useful for anyone else:
https://github.com/marcusrossel/verified-compiler
Last updated: May 02 2025 at 03:31 UTC