skyskimmer / bedrock2 Goto Github PK
View Code? Open in Web Editor NEWThis project forked from mit-plv/bedrock2
A work-in-progress language and compiler for verified low-level programming
Home Page: http://adam.chlipala.net/papers/LightbulbPLDI21/
License: MIT License