Vincent Trélat

According to our database¹, Vincent Trélat authored at least 4 papers between 2022 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

ZFLean: a framework for set-level mathematics in Lean.

[DOI]

CoRR, April, 2026

2025

Safely Encoding B Proof Obligations in SMT-LIB.

[DOI]

Proceedings of the Rigorous State-Based Methods - 11th International Conference, 2025

2024

Substitutions for Lambda-Free Higher-Order Terms.

[DOI]

Arch. Formal Proofs, 2024

2022

Correctness of a Set-based Algorithm for Computing Strongly Connected Components of a Graph.

[DOI]

Arch. Formal Proofs, 2022