Ship Your Interpreter(basis.ai)
18 points by gopiandcode | 7 comments
Basis blog post describing using LLMs to write a formal semantics for a small language and Lean to prove its interpreter correct down to RISC-V compiled code.
#formal-semantics on Hacker News
1 story tagged formal-semantics, newest first.