Ondokuz / why3-coq

Coq support for the why3 verification platform



Diğer Pardus sürümlerindeki versiyonlar
Pardus Paket Versiyon
yirmibir why3-coq 1.3.3-1+b4