149 citations · 517 across the 29 of their papers we have counts for
1 paper · 2 filters
Jeremy Avigad
This essay considers the special character of mathematical reasoning, and draws on observations from interactive theorem proving and the history of mathematics to clarify the natur…