LinearOne
Résumé
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
Richard Moot : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02101382
Soumis le : mardi 16 avril 2019-16:28:47
Dernière modification le : samedi 15 juillet 2023-04:10:05