15 citations · 29 across the 13 of their papers we have counts for
1 paper · 2 filters
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…