rocq-community/rocq-tricks
@rocq-communityTrucos que desearías que el manual de Coq te hubiera contado [maintainer=@tchajed]
Estrellas
552
Bifurcaciones
25
Lenguaje
Coq
Licencia
MIT
Último push
hace 1 año
Intel relacionado (0)
Aún no hay intel relacionado
Este repo no ha aparecido en ninguna de las fuentes que rastrea el radar. El recopilador funciona con un horario — vuelve cuando lo haya cubierto.