Structural Analysis of Narratives with the Coq Proof Assistant.

Anne-Gwenn Bosser, Pierre Courtieu, Julien Forest, Marc Cavazza

Browse the full ITP paper archive.