15 citations · 38 across the 8 of their papers we have counts for
1 paper · 1 filter
Floris van Doorn
I formalize important theorems about classical propositional logic in the proof assistant Coq. The main theorems I prove are (1) the soundness and completeness of natural deduction…