MetaRocq/metarocq

Metaprogramação, metateoria verificada e implementação de Rocq em Rocq

↗ Abrir no GitHub

Estrelas

550

Bifurcações

99

Linguagem

Rocq Prover

Licença

MIT

Último push

há 3 semanas

Rocq Prover coq metaprogramming coq-formalization rocq

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.