Pylean4

Projektstatus: Unbekannt

A minimal, educational reimplementation of Lean 4's kernel in Python.

Untersuchte Software oder Hardware: Lean 4
Arbeitsansatz: Neuimplementierung und Kompatibilität
Öffentliches Hauptrepository: github.com/xiao98/pylean4

Projekte werden nach der zuletzt erfassten Anzahl an Repository-Sternen sortiert. Sterne zeigen Interesse, keinen Fortschritt. Fehlende Werte bleiben unbekannt.

Die Repository-Metadaten müssen aktualisiert werden. Der gespeicherte Eintrag bleibt verfügbar.

Über das Projekt und seinen Umfang

A minimal, educational reimplementation of Lean 4's kernel in Python.

Möglichkeiten zur Mitarbeit

Regeln zur Mitarbeit unbekannt

Regeln für KI-unterstützte Beiträge: Nicht angegeben

Dokumentierte Systeme für Mitwirkende

Arbeitsumgebung nicht dokumentiert

Gemeldeter Fortschritt

Kein Fortschritt gemeldet

Quellen, Builds und Veröffentlichungen

Repository öffnen · github.comgithub.com/xiao98/pylean4