Skip to content
Sections
>> Trisquel >> Paketler >> nabia >> virtual >> coq-8.11.0+4.08.1
[  nabia  ]

Sanal Paket: coq-8.11.0+4.08.1

Bu bir sanal pakettir. Sanal paketlerin tanımı için Debian ilkesine bakın.

coq-8.11.0+4.08.1 sağlayan paketler

coq
proof assistant for higher-order logic (toplevel and compiler)