mit-plv/fiat-crypto

README should link to latest standalone binaries on release page

Opened this issue 8 months ago · 0 comments

JasonGross commented 8 months ago

README should link to latest standalone binaries on release page