Jules Viennot

According to our database, Jules Viennot authored at least 2 papers in 2025.

Collaborative distances:

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

2025

Verified Purely Functional Catenable Real-Time Deques.

Jules Viennot, Arthur Wendling, Armaël Guéneau, François Pottier

CoRR, May, 2025

MiniF2F in Rocq: Automatic Translation Between Proof Assistants - A Case Study.

Jules Viennot, Guillaume Baudart, Emilio Jesús Gallego Arias, Marc Lelarge

CoRR, March, 2025