Stream: jsCoq

Topic: Domain Name


view this post on Zulip Emilio Jesús Gallego Arias (Aug 22 2022 at 14:27):

Sure, we got jscoq.wiki for ourselves, but I'm happy to ask for some at Inria, ideas?

view this post on Zulip Karl Palmskog (Aug 22 2022 at 14:28):

jscoq.dev?

view this post on Zulip Shachar Itzhaky (Aug 22 2022 at 15:25):

I was thinking since Coq is under inria.fr then perhaps jsCoq should be too? Or even as a subpath like coq.inria.fr/jscoq? Or would it make it seem too much like it is maintained exclusively by Inria people. jscoq.wiki might be confusing for users but I think @Karl Palmskog 's suggestion makes sense.

view this post on Zulip Shachar Itzhaky (Aug 22 2022 at 15:27):

there is also a programming.systems domain maintained by Deian Stefan (UCSD). I noticed there are a couple things there, I don't know if he is offering office space on his domain for sale :grinning_face_with_smiling_eyes: and also perhaps "programming systems" is not the right keyword combination for Coq stuff.


Last updated: Jan 31 2023 at 10:01 UTC