Software Year : 2022

Addition Lemma

Domains

Logic in Computer Science [cs.LO] Formal Languages and Automata Theory [cs.FL]

Charles Paperman  : Connect in order to contact the contributor

https://hal.science/hal-03787033

Submitted on : Friday, September 23, 2022-8:22:43 PM

Last modification on : Friday, May 31, 2024-6:32:03 PM

Consulter sur Present sur SoftwareHeritage

Dates and versions

hal-03787033 , version 1 (23-09-2022)

Identifiers

Metadata

  • version :
  • Software License : MIT License
  • Programming Language : Coq
  • Code Repository : https://gitlab.inria.fr/ssalvati/addition-lemma
  • Runtime Platform : coq

Cite

Charles Paperman, Sylvain Salvati, Claire Soyez-Martin. Addition Lemma. 2022, ⟨swh:1:dir:96d9d877d1614a94ce56bc8cec4c941adfaa1af3⟩. ⟨hal-03787033⟩

Export

format_codemeta BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA CRISTAL INRIA2 CRISTAL-LINKS UNIV-LILLE
127 View
7 Download

Share

More