Paolo Giarrusso (Aug 03 2020 at 19:47): 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...
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
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.
Paolo Giarrusso (Aug 03 2020 at 21:23):Thanks a lot!
Alexander Gryzlov (Aug 03 2020 at 23:18):What about 8.12? :)
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.
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: Apr 18 2024 at 17:02 UTC