5 citations · 14 across the 11 of their papers we have counts for
1 paper · 1 filter
Carlos T. Simpson
We give an overview of issues surrounding computer-verified theorem proving in the standard pure-mathematical context. This is based on my talk at the PQR conference (Brussels, Jun…