Structural Analysis of Narratives With the Coq Proof Assistant
(2011) : Bosser, Anne-Gwenn et al
DOI: https://doi.org/10.1007/978-3-642-22863-6_7
#narrative #structural_analysis #proof_assistant #idris #proof_theory #linear_logic #coq #my_bibtex
A Tactic Language for the System Coq
(2000) : Delahaye, David
DOI: https://doi.org/10.1007/3-540-44404-1_7
#coq #tactics #proof_assistant #ltac #my_bibtex
A Tactic Language for the System Coq
(2000) : David Delahaye
DOI: https://doi.org/10.1007/3-540-44404-1_7
#coq #ltac #proof_assistant #tactics
#my_bibtex
Proof-oriented Programming in F* — Proof-Oriented Programming in F* documentation