1
Teori Kompleksitas yang Diverifikasi Secara Resmi
Apakah ada proyek yang sedang berlangsung untuk secara formal memverifikasi teorema dan bukti teori kompleksitas menggunakan asisten bukti seperti Coq? Apakah ada batasan untuk melakukan ini?