13 citations · 46 across the 21 of their papers we have counts for
1 paper · 1 filter
Lorenzo Bresolin, Marcello Mamino
It is known, by works of Werner and Carneiro, that the type theory of Lean (and indeed of CIC plus a version of choice) is equiconsistent with ZFC plus "there are infinitely many s…