Frédéric Tran Minh

According to our database, Frédéric Tran Minh authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

A Lean-based Language for Teaching Proof in High School.

Frédéric Tran Minh, Laure Gonnord, Julien Narboux

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

2024

Proof Assistants for Teaching: a Survey.

Frédéric Tran Minh, Laure Gonnord, Julien Narboux

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