Actema : une interface graphique et gestuelle pour preuves formelles (démonstration) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2022

Dates and versions

hal-03626854 , version 1 (31-03-2022)

Licence

Attribution

Identifiers

  • HAL Id : hal-03626854 , version 1

Cite

Pablo Donato, Pierre-Yves Strub, Benjamin Werner. Actema : une interface graphique et gestuelle pour preuves formelles (démonstration). 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.267-268. ⟨hal-03626854⟩
97 View
56 Download

Share

Gmail Facebook X LinkedIn More