4 citations · 7 across the 6 of their papers we have counts for
1 paper · 1 filter
Max Zeuner, Anders Mörtberg
We present a formalization of constructive affine schemes in the Cubical Agda proof assistant. This development is not only fully constructive and predicative, it also makes crucia…