[ aramo ]
Pakiet wirtualny: coq-8.15.0+4.13.1
Jest to pakiet wirtualny. Proszę zapoznać się z polityką Debiana aby uzyskać definicję pakietu wirtualnego.
Pakiety udostępniające coq-8.15.0+4.13.1
- coq
- proof assistant for higher-order logic (toplevel and compiler)