Luc Chabassier

According to our database¹, Luc Chabassier authored at least 2 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Aspects of category theory in proof assistants. (Théorie des catégories et assistants de preuve).

[DOI]

PhD thesis, 2025

2024

A Graphical Interface for Category Theory Proofs in Coq.

[DOI]

Proceedings of the Proceedings The 13th International Workshop on Theorem proving components for Educational software, May, 2024