real-world-coq Introduction website created with Github Pages To update, edit index.md file URL: https://ejgallego.github.io/real-world-coq/