Texts
- Software Foundations — online textbook, code, and exercises
- SF.js — run Software Foundations in your browser!
Code
- The Coq Proof Assistant homepage
- jsCoq — browser-based Coq IDE
- git — distributed version control
- github — online host of git repositories