FormalizedLLBib
Résumé
Bibliography of formalizations of Linear Logic in proof assistants.
Bibliography of formalizations of Linear Logic in proof assistants.
Connectez-vous pour contacter le contributeur
https://hal.science/hal-05015747
Soumis le : samedi 19 avril 2025-10:22:19
Dernière modification le : lundi 13 octobre 2025-09:44:14