README.md · master · Ike Mulder / gpfsl · GitLab

Skip to content

GitLab

Explore

Sign in

gpfsl
README.md

Blame Permalink

May 02, 2023
26671459

Bump Iris, increase minimal Coq version to 8.17. · 26671459
Robbert Krebbers authored May 02, 2023

26671459

Bump Iris, increase minimal Coq version to 8.17.
Robbert Krebbers authored May 02, 2023

Loading