VirtualTam's bookmarks

1. The Coq Proof Assistant 2019-02-08

   tags: algorithm, logic, mathematics, proof, software

   [ permalink ]

   • https://github.com/coq/coq