Home » Authors » Johann Rosain, Julie Cailler

Johann Rosain, Julie Cailler

Public reference bibliography and cataloged PDF materials authored or published by Johann Rosain, Julie Cailler.

Found 1 document(s) Page 1 of 1

TableauxRocq

Year: 2026 • Source: hal.science • External Catalog

TableauxRocq is a Rocq library that provides a deep embedding of free-variable tableaux together with a fully certified fast proof checker, POULET....