Stream: Coq users

Topic: Software Foundation for Coq 8.11


view this post on Zulip Paolo Giarrusso (Aug 03 2020 at 19:47):

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...

view this post on Zulip Bas Spitters (Aug 03 2020 at 20:51):

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

view this post on Zulip Karl Palmskog (Aug 03 2020 at 20:59):

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

view this post on Zulip Paolo Giarrusso (Aug 03 2020 at 21:23):

Thanks a lot!

view this post on Zulip Alexander Gryzlov (Aug 03 2020 at 23:18):

What about 8.12? :)

view this post on Zulip Théo Zimmermann (Aug 04 2020 at 09:41):

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.

view this post on Zulip Yishuai Li (Aug 05 2020 at 09:59):

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: Jan 28 2023 at 05:02 UTC