File main.py

examples/02_pantograph_kernel/python/main.py:None–None · view source on GitHub ↗

Source from the content-addressed store, hash-verified

1	"""Drive the full LeanPy.Kernel surface from Python.
2
3	Walks the major operations of the pantograph-equivalent kernel facade:
4	env loading, declaration introspection, elaboration, goal-state

nothing calls this directly

mainFunction · 0.70

no test coverage detected