Hjem
Institutt for informatikk
Workshop

"The Coq Proof Assistant"

Introduksjonskurs: Alle er velkommen.

Coq logo
Foto/ill.:
Logo from coq.inria.fr, vector by Caleb Stanford

Hovedinnhold

Les full beskrivelse i den engelske utgaven.