2 citations · 3 across the 5 of their papers we have counts for
1 paper · 1 filter
Max Zeuner, Matthias Hutzler
We present a formalization of quasi-compact and quasi-separated schemes (qcqs-schemes) in the Cubical Agda proof assistant. We follow Grothendieck's functor of points approach, whi…