Rocq-zh/SF-zh

Versão em chinês de Fundamentos de Software

↗ Abrir no GitHub

Estrelas

974

Bifurcações

73

Linguagem

HTML

Licença

—

Último push

há 3 meses

HTML translation coq chinese-translation

Ainda não há intel relacionado

Este repo ainda não apareceu em nenhuma das fontes que o radar rastreia. O coletor roda em um cronograma — volte quando ele cobrir este repo.