https://github.com/jroesch/exp-compiler

A small verified compiler in Lean
https://github.com/jroesch/exp-compiler

Last synced: 24 days ago
JSON representation

A small verified compiler in Lean

• Host: GitHub
• URL: https://github.com/jroesch/exp-compiler
• Owner: jroesch
• Created: 2016-07-16T07:24:47.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2016-07-20T20:46:40.000Z (over 8 years ago)
• Last Synced: 2023-03-14T05:31:02.985Z (over 1 year ago)
• Language: Lean
• Size: 6.84 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project