https://www.andrej.com/fun.html https://www.andrej.com/ https://www.andrej.com/publications.html https://www.andrej.com/research.html https://www.andrej.com/talks.html https://www.andrej.com/teaching.html https://www.andrej.com/analytica/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/assets/cv-andrej-bauer.pdf 2026-04-19T18:00:43+02:00 https://www.andrej.com/assets/papers/thesis.pdf 2026-04-19T18:00:43+02:00 https://www.andrej.com/assets/slides/AndromedaProofAssistant.pdf 2026-04-19T18:57:58+02:00 https://www.andrej.com/assets/slides/CiE-2023-slides.pdf 2026-04-19T18:57:56+02:00 https://www.andrej.com/assets/slides/Spartan-Type-Theory.pdf 2026-04-23T00:12:29+02:00 https://www.andrej.com/assets/slides/TYPES2023-Isomoprhism-invariance-and-reflection.pdf 2026-04-19T18:57:56+02:00 https://www.andrej.com/assets/slides/The-troublesome-reflection-rule-TYPES-2015.pdf 2026-04-22T22:11:52+02:00 https://www.andrej.com/assets/slides/What-is-an-explicit-bijection-FPSAC-2019-slides-with-presenter-notes.pdf 2026-04-19T18:57:58+02:00 https://www.andrej.com/assets/slides/brazilian-type-checking.pdf 2026-04-19T18:57:59+02:00 https://www.andrej.com/assets/slides/cca2007-slides.pdf 2026-04-22T22:37:59+02:00 https://www.andrej.com/assets/slides/cie-long.pdf 2026-04-19T18:58:00+02:00 https://www.andrej.com/assets/slides/continuity-begets-continuity-bavaria.pdf 2026-04-22T22:48:58+02:00 https://www.andrej.com/assets/slides/derivations-as-computations-icfp-2019.pdf 2026-04-22T22:08:12+02:00 https://www.andrej.com/assets/slides/domains8-slides.pdf 2026-04-22T22:29:56+02:00 https://www.andrej.com/assets/slides/efficient-computation-with-dedekind-reals-map-2008.pdf 2026-04-22T22:27:51+02:00 https://www.andrej.com/assets/slides/exploring-strange-new-worlds.pdf 2026-04-19T18:57:57+02:00 https://www.andrej.com/assets/slides/first-steps-synthetic-computability-mathlogaps.pdf 2026-04-19T18:58:01+02:00 https://www.andrej.com/assets/slides/formalizing-invisible-mathematics.pdf 2026-04-19T18:57:57+02:00 https://www.andrej.com/assets/slides/hott-reals-cca2016.pdf 2026-04-22T22:10:46+02:00 https://www.andrej.com/assets/slides/lc2014-slides-notes.pdf 2026-04-22T22:14:04+02:00 https://www.andrej.com/assets/slides/madison-synthetic-computability-talk.pdf 2026-04-19T18:57:58+02:00 https://www.andrej.com/assets/slides/metric-spaces-in-synthetic-topology-3wft.pdf 2026-04-22T22:34:17+02:00 https://www.andrej.com/assets/slides/msfp2008-slides.pdf 2026-04-19T18:57:59+02:00 https://www.andrej.com/assets/slides/rz-dagstuhl.pdf 2026-04-19T18:58:01+02:00 https://www.andrej.com/assets/slides/rz-tool-cie2007-slides.pdf 2026-04-22T22:43:48+02:00 https://www.andrej.com/assets/slides/rz.pdf 2026-04-19T18:58:01+02:00 https://www.andrej.com/assets/slides/rzreals.pdf 2026-04-19T18:58:00+02:00 https://www.andrej.com/assets/slides/syncomp-mfps23.pdf 2026-04-22T22:32:19+02:00 https://www.andrej.com/assets/slides/synthetic-computability-mfps-xxi.pdf 2026-04-22T22:59:09+02:00 https://www.andrej.com/assets/slides/the-dawn-of-formalized-mathematics.pdf 2026-04-19T18:57:58+02:00 https://www.andrej.com/java/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/kazalo.html 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/lekcija01/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/lekcija01/umetnost.html 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/lekcija02/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/lekcija03/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/lekcija04/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/lekcija05/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/lekcija06/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/lekcija07/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/lekcija08/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/lekcija09/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/lekcija10/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/lekcija11/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/lekcija12/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/lekcija13/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/lekcija14/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/lekcija15/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/lekcije.html 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/naloga01/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/naloga02/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/naloga03/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/naloga04/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/naloga05/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/naloga06/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/naloga07/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/naloga08/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/naloga09/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/naloga10/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/naloga11/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/naloga12/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/naloga13/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/naloge.html 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/oprema.html 2026-04-19T18:00:43+02:00 https://www.andrej.com/java/vaje/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/objectivism/censored.html 2026-04-19T18:00:43+02:00 https://www.andrej.com/objectivism/gold.html 2026-04-19T18:00:43+02:00 https://www.andrej.com/objectivism/ 2026-04-19T18:00:43+02:00 https://www.andrej.com/objectivism/responses.html 2026-04-19T18:00:44+02:00 https://www.andrej.com/objectivism/ten_easy_steps.html 2026-04-19T18:00:44+02:00 https://www.andrej.com/quadratic.html 2026-04-19T18:00:44+02:00