Home > News > Matija Pretnar: Oh ta Coq

Matija Pretnar: Oh ta Coq

Date: 10. 10. 2011
Source: Mathematics and theoretical computing seminar
Torej, 11. 10. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19

Povzetek: Coq je dokazovalni pomo─Źnik, ki je zasnovan na teoriji tipov. Naredili bomo prve korake v uporabi Coqa in spoznali osnovne koncepte kot so izrek, dokaz in taktika.

Vabljeni!