andrejbauer Goto Github PK

homotopy

Homotopy theory in Coq.

homotopy-type-theory-course

A course on homotopy theory and type theory, taught jointly with Jaka Smrekar

hott

Homotopy type theory

hydra

The combinatorial Hydra game

irram

Exact real arithmetic in C++

jurij

A simple Python application for drawing graphs, useful for teaching and experiments.

kmeans

A demonstration of Ocaml modules & functors for machine learning.

kuharski-recepti-za-matematike

Primer spletnih strani, narejenih z Markdown v Jekyll in serviranih na GitHub.com

lean-hog

lean2sexp

Convert Lean .olean files to s-expressions

lean4export

Plain-text declaration export for Lean 4

logicaldifferentiation

Differentiation in logical form by Stone duality.

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

lvr-coq

Coq related material for the Logic in computer science course

lvr-sat

SAT solver (for teaching purposes in the course Logic in computer science)

marshall

Real number computation software

mathematical-stories

Mathematical stories

mathematics-and-computation

Andrej Bauer's blog "Mathematics and Computation"

mathswitch

mihapacmasters

Master project by Mihael Pačnik

minilcf

A bare-bones LCF-style proof assistant

minolovec

igrica pri projektu pro2

mlin

notes-on-realizability

Lecture notes on realizability

paper_soccer

Igrica pri predmetu Programiranje 2

plfa.github.io

An introduction to programming language theory in Agda

plzoo

Programming Languages Zoo

ppj-skripta

Zapiski pri predmetu Principi programskih jezikov

pro2---reversi