Repositorios de código abierto monitorizados de uwplse, ordenados por estrellas.
Un framework para la verificación formal de implementaciones de sistemas distribuidos en Coq
