Communication Dans Un Congrès
Année : 2014
Burkhart Wolff : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01766905
Soumis le : samedi 14 avril 2018-17:03:20
Dernière modification le : samedi 10 février 2024-03:07:49
Dates et versions
Identifiants
- HAL Id : hal-01766905 , version 1
Citer
Wenzel Makarius. System description: Isabelle/jEdit in 2014. Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, UITP 2014, 2014, Vienna, Austria. ⟨hal-01766905⟩
Collections
43
Consultations
0
Téléchargements