Sophie

Sophie

distrib > Mandriva > 2010.1 > x86_64 > by-pkgid > cdbd4645185e01a14a9a3830fe65438c

coq-ide-8.3pl3-1mdv2010.2.x86_64.rpm

Description:

The Coq Integrated Development Interface is a graphical interface for the
Coq proof assistant.

Sources packages:

Other version of this rpm: