Stream: Coq Platform devs & users

Topic: Marketing the Coq platform


view this post on Zulip Karl Palmskog (Aug 27 2020 at 13:30):

After the initial platform is released, I think it would be a good idea to market the Platform project to at least the Coq and ITP research communities. For example:

For the longer term, one might consider properly writing up an initial version of the charter and submitting it to some publication as a position piece.

view this post on Zulip Michael Soegtrop (Aug 27 2020 at 14:41):

Indeed, this would make sense, but I would need some help with it.

I am btw. meanwhile finished with all packages included in the old Windows installer, but there are some hard to reproduce build issues left on Mac. I would declare this alpha4, beta1 with the Windows installer and beta2 with the Mac installer.

view this post on Zulip Théo Zimmermann (Aug 27 2020 at 14:43):

Beta carries a strong meaning. Don't we want to decide on some important unresolved questions first? Like the one regarding having a single or multiple tiers.

view this post on Zulip Karl Palmskog (Aug 27 2020 at 14:44):

alpha is fine by me at least.

view this post on Zulip Michael Soegtrop (Aug 27 2020 at 15:23):

having a single or multiple tiers.

what do you mean by that?

view this post on Zulip Théo Zimmermann (Aug 27 2020 at 15:37):

https://github.com/MSoegtropIMC/coq-platform/blob/master/charter.md#several-tiers

view this post on Zulip Michael Soegtrop (Aug 27 2020 at 16:15):

https://github.com/MSoegtropIMC/coq-platform/blob/master/charter.md#several-tiers

Ah yes, I used to call them levels, but tiers is fine. My view on this is that "the" coq platform is the first tier and there will very likely be a second tier.

view this post on Zulip Karl Palmskog (Aug 28 2020 at 16:17):

well, I could at least write up a release announcement for the first official alpha that we put on Discourse and so on. Let me know when it might be time for this. We could lift key sections from the charter.


Last updated: Jan 30 2023 at 11:03 UTC