TY  - RPRT
TI  - Formalising perfectoid spaces
AU  - Kevin Buzzard
AU  - Johan Commelin
AU  - Patrick Massot
PY  - 2020
DO  - 10.1145/3372885.3373830
UR  - https://arxiv.org/abs/1910.12320
ID  - 1910.12320
ER  -