Andrej Bauer's repositories
homotopy-type-theory-course
A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
spartan-type-theory
Spartan type theory
notes-on-realizability
Lecture notes on realizability
mathematics-and-computation
Andrej Bauer's blog "Mathematics and Computation"
simple-random-art
A simple implementation of Random art in Python. Suitable for teaching and experiments.
dependent-type-theory-syntax
An Agda formalization of raw syntax for dependent type theory
ppj-skripta
Zapiski pri predmetu Principi programskih jezikov
slack-to-discord
Transfer Slack archives to a Discord server on a per-channel basis
ucbenik-logika-in-mnozice
Učbenik za predmet Logika in množice na Fakulteti za matematiko in fiziko, Univerza v Ljubljani
coq-clerical
Coq formalization of Clerical
lograc-2022
Git repository for the course Logika v računalništvu
lograc-project-2022-stop-logic
Skeleton project repository for the Logika v računalništvu course
lean4export
Plain-text declaration export for Lean 4
MihaPacMasters
Master project by Mihael Pačnik
plfa.github.io
An introduction to programming language theory in Agda