DecompHub

Pylean4

Стан проєкту: Невідомо

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

Досліджуване ПЗ або обладнання
Lean 4
Тип роботи
Повторна реалізація та сумісність
Основний публічний репозиторій
github.com/xiao98/pylean4
GitHub
1Зірки на GitHub

Проєкти впорядковано за останньою зафіксованою кількістю зірок репозиторію. Зірки показують зацікавленість, а не поступ роботи. Відсутні значення залишаються невідомими.

Метадані репозиторію потребують оновлення. Збережений запис залишається доступним.

Про проєкт і його завдання

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

Можливість долучитися

Правила участі невідомі

Правила використання ШІ
Не зазначено

Системи учасників за документацією

Середовище учасника не описано

Заявлений прогрес

Прогрес не опубліковано

Вихідний код, збирання та релізи