3 ms·
Yes! I’m not suggesting they are synonymous, but proofs in coq are definitely formal proofs (as I understand that term/phrase).
by johnbender 9y ago
Yes! I’m not suggesting they are synonymous, but proofs in coq are definitely formal proofs (as I understand that term/phrase).