Logiciel
Année : 2025
Connectez-vous pour contacter le contributeur
https://hal.science/hal-05015741
Soumis le : lundi 7 avril 2025-15:20:38
Dernière modification le : lundi 13 octobre 2025-09:44:14
Dates et versions
Identifiants
- HAL Id : hal-05015741 , version 1
- SWHID : swh:1:dir:d2917e29b501a71bf5a507f950d07b20913b7dd5
Citer
Olivier Laurent, Christophe Lucas. OLlibs - Add-ons for the Rocq Standard Library. 2025, ⟨swh:1:dir:d2917e29b501a71bf5a507f950d07b20913b7dd5⟩. ⟨hal-05015741⟩
48
Consultations
0
Téléchargements