Issues do repositório

sdiehl/lean4-rust

Experimental fork of the Lean 4.27 compiler to add a Rust backend

Ver no GitHub
Stars
 (2 estrelas)
Forks
 (0 fork)
Issues indexadas
 (0 issue indexada)
issues iniciantes abertas
 (0 issue iniciante aberta)
Última indexação
22 de jul. de 2026
Último push no GitHub
4 de mai. de 2026
Licença
Apache License 2.0
Guia de contribuição
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 aberta

Nenhum issues indexado aberto encontrado para este repositório.