Home > News > Matija Pretnar: Še boljša formalizacija topologije v Coqu

Matija Pretnar: Še boljša formalizacija topologije v Coqu

Date: 14. 5. 2008
Source: Mathematics and theoretical computing seminar
Četrtek, 15.5.2008, od 14h do 16h v sobi 3.07 na Jadranski 21
Povzetek: Matija Pretnar bo pokazal izboljšano verzijo formalizacije topologije v Coqu.