Darwin Ports Search Results for "coq"
Saturday the 21st 2009f November, 2009



coq
... 6:23:16Z ryandesign@macports.org $ PortSystem 1.0 name coq version 8.2pl1 revision 1 platforms darwin categorie ...
coq.darwinports.com : Cached - Similar pages  - 
ott
... ld a typeset version of the definition, and Coq, HOL, and Isabelle versions of the defin ...
ott.darwinports.com : Cached - Similar pages  -