Coqtail

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 4.0/5 - ‎2 ‎Suara

Tentang Coqtail

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