4
Bagaimana saya bisa mempelajari teori yang mendasari asisten bukti Coq?
Saya akan mempelajari catatan kursus di CIS 500: Yayasan Perangkat Lunak dan latihannya sangat menyenangkan. Saya hanya pada set latihan ketiga tetapi saya ingin tahu lebih banyak tentang apa yang terjadi ketika saya menggunakan taktik untuk membuktikan hal-hal sepertiforall (n m : nat), n + n = m + m …