Issues do repositório

jdan/compiler.lean

A formally verified compiler for a simple language with numbers and sums

Ver no GitHub
Stars
 (29 estrelas)
Forks
 (2 forks)
Issues indexadas
 (0 issue indexada)
issues iniciantes abertas
 (0 issue iniciante aberta)
Última indexação
16 de ago. de 2026
Último push no GitHub
29 de nov. de 2020
Licença
Nenhum dado de licença
Guia de contribuição
Nenhum guia de contribuição
Código de conduta
Nenhum código de conduta
Linguagem principal
Lean
Métricas de merge de PR
 (Nenhuma PRs mesclada em 30d)
Labels para iniciantes
Nenhuma label para iniciantes indexada

Issues

0 issue indexada

Nenhum issues indexado encontrado para este repositório.