| 1x | | induktivni tip, koinduktivni tip, vsota tipov., dokazovalni pomočnik, rekurzivni tip, teorija kategorij, teorija realizabilnosti, dokazovalni pomočniki, topos, Beckov izrek o monadah, kolimita, Teorija kategorij, latinski kvadrat, imaginarna kocka, fraktal, metoda sledenja žarku, POV-Ray., C, MPFR, kategorije, Yonedova lema, plavajoča vejica, Haskell, GHC, teorij izračunljivosti, vizualizacija, Homotopska teorija tipov, kromatično število, obrnljivost, ekvivalenca, sfera, graf, Lean 4, Cantorjeva množica, monada, memoizacija, Lean, razčlenjevalnik, programski jezik, structure sheaf, geometrija, hiperbolična geometrija, 3D model, Zariski locale, formalization, mixfix, OCaml, Dependent type theory, constructive mathematics, Funkcional |
