14 citations · 23 across the 2 of their papers we have counts for
1 paper · 1 filter
Russell O'Connor
A constructive proof of the Goedel-Rosser incompleteness theorem has been completed using the Coq proof assistant. Some theory of classical first-order logic over an arbitrary lang…