Repositorios de código abierto monitorizados de UniMath, ordenados por estrellas.
Esta biblioteca rocq tiene como objetivo formalizar un cuerpo sustancial de matemáticas utilizando el punto de vista univalente.
