Karl Palmskog (Aug 27 2020 at 13:30): 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.
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.
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.
Karl Palmskog (Aug 27 2020 at 14:44):alpha is fine by me at least.
Michael Soegtrop (Aug 27 2020 at 15:23):having a single or multiple tiers.
what do you mean by that?
Théo Zimmermann (Aug 27 2020 at 15:37):https://github.com/MSoegtropIMC/coq-platform/blob/master/charter.md#several-tiers
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.
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: Jun 03 2023 at 04:30 UTC