The content here is in Slovak (the Czech students are used to it).
Riešenie nat_to_bin a bin_to_nat.
Coq seminár.
O nepríjemnosti kvadratického sondovania.
Pieskovisko: Prirodzené čísla
Problémy z cvičenia
O indukcii na celých číslach
Kocicky: Bootstrapped Category Theory for Computer Science.