Workshop
"The Coq Proof Assistant"
Introduksjonskurs: Alle er velkommen.
Foto/ill.:
Logo from coq.inria.fr, vector by Caleb Stanford
Hovedinnhold
Les full beskrivelse i den engelske utgaven.
24.08.2023
Introduksjonskurs: Alle er velkommen.
Les full beskrivelse i den engelske utgaven.