Skip to content
Sections
>> Trisquel >> Paketler >> aramo >> virtual >> coq-8.15.0+4.13.1
[  aramo  ]

Sanal Paket: coq-8.15.0+4.13.1

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

coq-8.15.0+4.13.1 sağlayan paketler

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