1
Teoria della complessità formalmente verificata
Esiste un progetto in corso per verificare formalmente i teoremi e le prove della teoria della complessità usando un assistente di prova come Coq? Ci sono dei limiti nel fare questo?