issues
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
add verified polyfill adder with carry
#357
Closed
wrharris
closed
1 year ago
wrharris
commented
1 year ago
Co-developed with @andres-erbsen , who volunteered as reviewer.
Co-developed with @andres-erbsen , who volunteered as reviewer.