Yann Leray

According to our database, Yann Leray authored at least 1 paper in 2024.

Collaborative distances:

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

2024

The Rewster: Type Preserving Rewrite Rules for the Coq Proof Assistant.

Yann Leray, Gaëtan Gilbert, Nicolas Tabareau, Théo Winterhalter

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024