Jason Gross (Nov 01 2022 at 23:32): Jason Gross (Nov 01 2022 at 23:32):GitHub seems to disallow search engines from indexing wiki pages (see https://github.com/orgs/community/discussions/4992, https://github.com/nelsonjchen/github-wiki-see-rs, https://github-wiki-see.page/), and googling "coq weekly call" doesn't give me any good results. Should the wiki be moved to some more search-engine friendly service?
Emilio Jesús Gallego Arias (Nov 02 2022 at 17:13):@Jason Gross there was some discussion in the call about this, but the main question is "what is the alternative"?
Last updated: Sep 09 2024 at 04:02 UTC