P.coq cheap
P.coq cheap
P.coq cheap
P.coq cheap
P.coq cheap
P.coq cheap

P.coq cheap

P.coq cheap, Pcoq A java based user interface for Coq cheap

$59.00

SKU: 7481829

Colour
  • Proof Engineering in Coq
  • Pineau Hardy Coq d Or Rose 0.7L 17 Vol. Pineau Des Charantes Aperitif
  • Natural deduction in Coq Proof Assistants Stack Exchange
  • PCOQ Status and PCOQ Change example items from pilot version Download Scientific Diagram
Out of stock
Personalised:
: ( x )
Personalisation:
Edit
Remove Personalisation
Frasers Plus

Buy now.

Pay later.

Earn rewards

Representative APR: 29.9% (variable)

Credit subject to status. Terms apply.

Missed payments may affect your credit score

FrasersPlus