Lenguaje · Coq
Coq
Repositorios de código abierto monitorizados que tienen Coq como lenguaje principal, ordenados por estrellas.
1 repositorio
- #1rocq-tricks@rocq-community
Trucos que desearías que el manual de Coq te hubiera contado [maintainer=@tchajed]
★ 552+0Variación de estrellas de los últimos 7 días
