虛擬套件： coq-8.11.0+4.08.1

這是一個虛擬套件。檢視Debian 政策瞭解虛擬套件的定義。

提供 coq-8.11.0+4.08.1 的套件

coq

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