APA (7th ed.) Citation

Rosain, J., & Cailler, J. (2026). TableauxRocq: A Deep Embedding of Free-Variable Tableaux in Rocq.

Chicago Style (17th ed.) Citation

Rosain, Johann, and Julie Cailler. TableauxRocq: A Deep Embedding of Free-Variable Tableaux in Rocq. 2026.

MLA (9th ed.) Citation

Rosain, Johann, and Julie Cailler. TableauxRocq: A Deep Embedding of Free-Variable Tableaux in Rocq. 2026.

Warning: These citations may not always be 100% accurate.