GitHub repos by UniMath
5 public repos by UniMath in the catalog, most starred first.
- UniMath/UniMathStars: 1,021Rocq ProverBeta
- UniMath/SymmetryBookStars: 453HTMLAlpha
- UniMath/agda-unimathStars: 318AgdaAlpha
- UniMath/FoundationsStars: 247CoqPrototype
- UniMath/TypeTheoryStars: 122Rocq ProverPrototype