Johan Commelin

According to our database, Johan Commelin authored at least 7 papers between 2015 and 2026.

Collaborative distances:

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

2026

Shaping the Future of Mathematics in the Age of AI.

Johan Commelin, Mateja Jamnik, Rodrigo Ochigame, Lenny Taelman, Akshay Venkatesh

CoRR, March, 2026

2025

Growing Mathlib: maintenance of a large scale mathematical library.

Anne Baanen, Matthew Robert Ballard, Johan Commelin, Bryan Gin-ge Chen, Michael Rothgang, Damiano Testa

Proceedings of the Intelligent Computer Mathematics - 18th International Conference, 2025

2024

Anatomy of a Formal Proof.

Jeremy Avigad, Johan Commelin, Heather Macbeth, Adam Topaz

CoRR, 2024

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