Johann Rosain

According to our database, Johann Rosain authored at least 5 papers between 2022 and 2026.

Collaborative distances:

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

2026

TableauxRocq: A Deep Embedding of Free-Variable Tableaux in Rocq.

Johann Rosain, Julie Cailler

CoRR, May, 2026

For Generalised Algebraic Theories, Two Sorts Are Enough.

Samy Avrillon, Ambrus Kaposi, Ambroise Lafont, Niyousha Najmaei, Johann Rosain

CoRR, January, 2026

Bounded Sort Polymorphism with Elimination Constraints.

Johann Rosain, Tomás Díaz, Kenji Maillard, Matthieu Sozeau, Nicolas Tabareau, Éric Tanter, Théo Winterhalter

Proc. ACM Program. Lang., 2026

2024

A Generic Deskolemization Strategy.

Johann Rosain, Richard Bonichon, Julie Cailler, Olivier Hermant

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

2022

Goéland: A Concurrent Tableau-Based Theorem Prover (System Description).

Julie Cailler, Johann Rosain, David Delahaye, Simon Robillard, Hinde-Lilia Bouziane

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022