Johan Commelin

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 5

Top Topics

Conceptual Clustering

Top Venues

CICM (Work in Progress)

Publications

Johan Commelin, Adam Topaz
Abstraction boundaries and spec driven development in pure mathematics. CoRR (2023)
Johan Commelin, Robert Y. Lewis
Formalizing the ring of Witt vectors. CPP (2021)
Kevin Buzzard, Johan Commelin, Patrick Massot
Formalising perfectoid spaces. CPP (2020)
Johan Commelin, Robert Y. Lewis
Formalizing the Ring of Witt Vectors. CoRR (2020)
Kevin Buzzard, Johan Commelin, Patrick Massot
Formalising perfectoid spaces. CoRR (2019)
Johan Commelin, Josef Urban
Auto-hyperlinking the Stacks Project. CICM (Work in Progress) (2015)