8 citations · 8 across the 1 of their papers we have counts for
1 paper
Kevin Buzzard, Chris Hughes, Kenny Lau +3
We tell the story of how schemes were formalised in three different ways in the Lean theorem prover.