Issues du dépôt

sdiehl/lean4-rust

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

Voir sur GitHub
Stars
 (2 étoiles)
Forks
 (0 fork)
Issues indexées
 (0 issue indexée)
issues débutant ouvertes
 (0 issue débutant ouverte)
Dernière indexation
22 juil. 2026
Dernier push GitHub
4 mai 2026
Licence
Apache License 2.0
Guide de contribution
Guide de contribution
Code de conduite
Aucun code de conduite
Langage principal
Lean
Métriques de merge PR
 (Aucune PR mergée en 30 j)
Labels débutant
Aucun label débutant indexé

Issues

0 issue indexée ouverte

Aucune issue indexée ouverte trouvée pour ce dépôt.