PyPI page
Home page
Author:
None
Summary:
lean4_jupyter: A Lean 4 Jupyter kernel via REPL
Latest version:
0.0.2
Required dependencies:
alectryon
|
ipykernel
|
pexpect
Optional dependencies:
flake8
|
nbval
|
papermill
|
pytest
Downloads last day:
2
Downloads last week:
13
Downloads last month:
44