Hantar Perisian

Atur cara mengikut coqtail.sf.net

  • Coqtail Percuma

    CoQ Theorems, Abstatections and Implementations (Ijazah Sarjana Muda) Coqtail adalah perpustakaan bukti matematik menggunakan pembantu bukti Coq.