Andrej Bauer
Results
14
repositories owned by
Andrej Bauer
alg
71
Stars
4
Forks
Watchers
Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
clerical
17
Stars
1
Forks
Watchers
Command-like expressions for real infinite-precision calculations
homotopy-type-theory-course
255
Stars
7
Forks
Watchers
A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
mathematics-and-computation
40
Stars
4
Forks
Watchers
Andrej Bauer's blog "Mathematics and Computation"