Yann Leray

According to our database, Yann Leray authored at least 4 papers between 2024 and 2026.

Collaborative distances:

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

2026

The Rewster: Type Preserving Rewrite Rules for the Rocq Prover.

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

J. Autom. Reason., June, 2026

Encode the Cake and Eat It Too: Controlling Computation in Type Theory, Locally.

Yann Leray, Théo Winterhalter

Proc. ACM Program. Lang., 2026

2025

Observational Equality Meets CIC.

Loïc Pujet, Yann Leray, Nicolas Tabareau

ACM Trans. Program. Lang. Syst., June, 2025

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