Timeline for What should the name of our main chatroom be?
Current License: CC BY-SA 4.0
2 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Feb 8, 2022 at 21:00 | comment | added | Clément | Well, ok, but it's just one particular language, so I'm not sure it reflects that the chat will be open to any programming language (that relates to proof assistants). | |
Feb 8, 2022 at 20:46 | history | answered | Fmbalbuena | CC BY-SA 4.0 |