Skip to content

Fiat Crypto Legacy for Coq 8.16, 8.17, 8.18

Pre-release
Pre-release
Compare
Choose a tag to compare
@JasonGross JasonGross released this 01 Nov 04:24
· 33 commits to sp2019latest since this release
77a2f7d

This is the last version of Fiat Crypto Legacy (the S&P 2019 paper version) compatible with Coq 8.16, 8.17, 8.18. This version supports Coq versions 8.16 -- 8.18.

What's Changed

Full Changelog: SP2019+V8.15...SP2019+V8.16