Številke

Bibliografija osebe. Seznam zajema vsa gradiva in ne le tista, kje je oseba mentor.

Magistrska dela (4)

1. Žiga Putrle: Neprotislovnost klasične sintetične teorije izračunljivosti
2. Katja Albreht: Modeli hiperbolične geometrije in njihova vizualizacija
3. Ivan Kobe: A type theory for synthetic categories
4. Luna Strah: Topološke lastnosti so logični principi v topoloških modelih

Diplomska dela (14)

1. JANA ČEŠAREK: Imaginarna kocka
2. Maša Žaucer: Formalization of the structure sheaf of a ring spectrum
3. Aljaž Medič: Implementacija razširljivega mixfix razčlenjevalnika
4. Timon Najdovski: Obrnljive funkcije so sfere v svetu
5. IVO LIST: Plavajoča vejica v čistem funkcijskem jeziku
6. Jure Taslak: Yonedova lema in njena uporaba
7. Blaž Zupančič: Izdelava in uporaba dokazovalnega pomočnika
8. Luka Sabotič: Implementacija rekurzivnih podatkovnih tipov
9. Jure Smolar: Kolimite v elementarnih toposih
10. Klemen Bogataj: Implementacija nemogočih funkcionalov z računskimi učinki
11. Gregor Kikelj: Preverjanje kromatičnega števila grafov z dokazovalnim pomočnikom Lean
12. Erik Kmetič: Vzporedno računanje z natančnimi realnimi števili
13. Jan Pantner: Merljivi kardinali
14. Jona Koltaj: Eliminacija rezov v linearni logiki