GitHub repos by andrejbauer
4 public repos by andrejbauer in the catalog, most starred first.
- andrejbauer/plzooStars: 1,600OCamlBeta
- andrejbauer/homotopy-type-theory-courseStars: 314TeXAlpha
- andrejbauer/spartan-type-theoryStars: 277OCamlAlpha
- andrejbauer/marshallStars: 128OCamlPrototype