Logiciel Année : 2025

OLlibs - Add-ons for the Rocq Standard Library

Dates et versions

hal-05015741 , version 1 (07-04-2025)

Identifiants

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

Partager

  • More