虛擬套件： coq-8.15.0+4.13.1

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

提供 coq-8.15.0+4.13.1 的套件

coq

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