wiki

This is an old revision of the document!

---

• https://coq.inria.fr/
• https://arxiv.org/pdf/1803.01466.pdf
• https://github.com/coq/coq/wiki
• http://discrete.openmathbooks.org/dmoi3.html
• https://www.spectator.co.uk/article/the-genuine-polymath-is-still-one-in-a-million
• https://github.com/spyder-ide/spyder
• https://gitlab.com/aenegri/toro
• http://tttthis.com/blog/if-i-could-bring-one-thing-back-to-the-internet-it-would-be-blogs
• https://github.com/OpenRA/OpenRA/wiki/AI-Development-Guidelines