A work-in-progress language and compiler for verified low-level programming
Home Page:http://adam.chlipala.net/papers/LightbulbPLDI21/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool