VirtualTam's bookmarks

1. The Coq Proof Assistant

   2019-02-08
   algorithm logic mathematics proof software

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