Hacker News
- Renaming Coq https://coq.discourse.group/t/renaming-coq/1264 24 comments
- Coq is a Lean Typechecker https://coq.discourse.group/t/alpha-announcement-coq-is-a-lean-typechecker/581 31 comments
Linking pages
- Google Groups has been left to die - https://ahelwer.ca/post/2023-03-08-google-groups/ 606 comments
- GitHub - ejgallego/jscoq: A port of Coq to Javascript -- Run Coq in your Browser https://github.com/ejgallego/jscoq 15 comments
- GitHub - coq-community/awesome-coq: A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog] https://github.com/coq-community/awesome-coq 0 comments