I wanted to recommend SF to some prospective Coq users, but (for other reasons) they are using Coq 8.11.

SF for Coq 8.11 exists but is still not the default (per https://github.com/coq/coq/issues/11137). I recall somebody (@Li-yao ?) made things better, but I cannot find the solution...

Some discussion here:

https://coq.zulipchat.com/#narrow/stream/237663-coq-community-devs.20.26.20users/topic/Software.20foundations

story short, point them at: https://deepspec.github.io/sf/ which I believe is the current best updated public version.

Thanks a lot!

What about 8.12? :)

This version that was pointed to should work with Coq's master version in fact, but it is very likely that it works just as well with Coq 8.12 & Coq 8.11.

The public beta version is tested with Coq from 8.8 to dev, but support for Coq < 8.12 will soon be discontinued.

Last updated: Jun 15 2024 at 05:01 UTC