andrejbauer
Follow
-
-
ucbenik-logika-in-mnozice Public
Učbenik za predmet Logika in množice na Fakulteti za matematiko in fiziko, Univerza v Ljubljani
-
-
coop Public
A prototype programming language for programming with runners
-
spectre-explorer Public
A python package for exporing the spectre monotile.
-
mathematics-and-computation Public
Andrej Bauer's blog "Mathematics and Computation"
-
andromeda Public
Forked from Andromedans/andromedaA minimalist implementation of type theory, suitable for experimentation
-
-
wild-leibniz Public
Forked from leibniz-stt/agda-formalizationAn Agda formalization of the Leibniz Adjunction Principle - with Claude AI
Agda UpdatedJun 8, 2026 -
coq-clerical Public
Forked from park-sewon/coq-clericalCoq formalization of Clerical
-
clerical Public
Command-like expressions for real infinite-precision calculations
-
ppj-skripta Public
Zapiski pri predmetu Principi programskih jezikov
-
LaTeX-input-MacOS Public
An input method for MacOS for typing UTF math symbols
-
-
kaobook Public
Forked from fmarotta/kaobookA LaTeX class for books, reports or theses based on https://github.com/kenohori/thesis and https://github.com/Tufte-LaTeX/tufte-latex.
TeX LaTeX Project Public License v1.3c UpdatedJan 8, 2026 -
Lean-HoG Public
Forked from katjabercic/Lean-HoGLean BSD 2-Clause "Simplified" License UpdatedDec 4, 2025 -
-
MihaPacMasters Public
Forked from MihaPac/MastersMaster project by Mihael Pačnik
Agda UpdatedMay 20, 2025 -
type-theory-slovene-dictionary Public
Forked from anjapetkovic/type-theory-slovene-dictionaryA dictionary of slovene translations of type-theoretical notions and notions from logic and foundations of mathematics.
-
europroofnet.github.io Public
Forked from EuroProofNet/europroofnet.github.ioSources of the EuroProofNet web site.
Ruby UpdatedMar 2, 2025 -
-
UnimathTypeTheory Public
Forked from UniMath/TypeTheoryThe mathematical study of type theories, in univalent foundations
-
-
A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25
-
partial-combinatory-algebras Public
A Lean 4 formalization of partial combinatory algebras.
-
Agda is a dependently typed programming language / interactive theorem prover.
-
TopologyPrimerTest Public
A test before showing a Lean project to students
-
zeroes Public
Programs for computing beautiful pictures and animations of zeroes of polynomials.
-
-