Here is some university related stuff.
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.