Johan Commelin

According to our database, Johan Commelin authored at least 4 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Abstraction boundaries and spec driven development in pure mathematics.

Johan Commelin, Adam Topaz

CoRR, 2023

2021

Formalizing the ring of Witt vectors.

Johan Commelin, Robert Y. Lewis

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2020

Formalising perfectoid spaces.

Kevin Buzzard, Johan Commelin, Patrick Massot

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2015

Auto-hyperlinking the Stacks Project.

Johan Commelin, Josef Urban

Proceedings of the CICM 2015, 2015