Logiciel Année : 2025

Quantifiers

Résumé

Formalizing Quantifiers

HAL

Fait partie de hal-03096253 Objet présenté à une conférence Olivier Laurent. An Anti-Locally-Nameless Approach to Formalizing Quantifiers. Certified Programs and Proofs, Jan 2021, virtual, Denmark. pp.300-312, ⟨10.1145/3437992.3439926⟩. ⟨hal-03096253⟩

Dates et versions

hal-05015760 , version 1 (19-04-2025)

Identifiants

109 Consultations
0 Téléchargements

Partager

  • More