DecompHub

Pylean4

Stato del progetto: Sconosciuto

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

Software o hardware oggetto del progetto
Lean 4
Tipo di lavoro
Reimplementazione e compatibilità
Repository pubblico principale
github.com/xiao98/pylean4
GitHub
1Stelle su GitHub

I progetti sono ordinati per l’ultimo numero di stelle rilevato nel repository. Le stelle indicano interesse, non avanzamento. I valori mancanti restano sconosciuti.

I metadati del repository devono essere aggiornati. La scheda memorizzata resta disponibile.

Descrizione e ambito

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

Disponibilità ad accettare contributi

Regole sui contributi sconosciute

Regole sui contributi assistiti dall'IA
Non specificato

Sistemi documentati per contribuire

Ambiente di contribuzione non documentato

Avanzamento dichiarato

Avanzamento non dichiarato

Fonti, compilazione e release