5 citations · 14 across the 11 of their papers we have counts for
1 paper · 1 filter
Carlos Simpson
We give a brief discussion of some of the issues which have arisen in the course of formalizing some classical set-theoretical mathematics in the Coq system. This sprouts from, exp…