search

mit-plv / bedrock2

A work-in-progress language and compiler for verified low-level programming
http://adam.chlipala.net/papers/LightbulbPLDI21/
MIT License
297 stars 45 forks source link

Remove PyLevelLang from bedrock2 #383

Closed amanda4zx closed 1 year ago

amanda4zx commented 1 year ago

Marked as draft until the new fiat2 repo is working