Kirim Perangkat Lunak

Program menurut coqtail.sf.net

  • Coqtail Gratis

    TEOREMA COQ, Abstraksi dan Implementasi (Bachelor Level) Coqtail adalah perpustakaan bukti matematika menggunakan asisten bukti Coq.