Logiciel Année : 2025

FormalizedLLBib

Résumé

Bibliography of formalizations of Linear Logic in proof assistants.

Dates et versions

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

Identifiants

Citer

77 Consultations
0 Téléchargements

Partager

  • More