| 1x | | topos, dokazovalni pomočniki, Beckov izrek o monadah, teorija kategorij, rekurzivni tip, kolimita, teorija realizabilnosti, teorij izračunljivosti, Zariski locale, geometrija, hiperbolična geometrija, 3D model, induktivni tip, vizualizacija, structure sheaf, koinduktivni tip, imaginarna kocka, C, MPFR, latinski kvadrat, fraktal, POV-Ray., metoda sledenja žarku, GHC, Haskell, dokazovalni pomočnik, vsota tipov., Teorija kategorij, Yonedova lema, plavajoča vejica, kategorije, formalization, Dependent type theory, higher categories, synthetic category theory, dependent type theory, realna števila, sočasno izvajanje, računanje z visoko natančnostjo, paralelno izvajanje, dobra urejenost, ordinal, eliminacija rezov, linearna logika, topološki modeli, konstruktivna logika, mera, merljiv kardinal, Funkcional, Cantorjeva množica, razčlenjevalnik, sfera, ekvivalenca, programski jezik, mixfix, sekventni račun, OCaml, obrnljivost, Homotopska teorija tipov, memoizacija, monada, Lean, Lean 4, kromatično število, graf, constructive mathematics |
