MCPcopy Create free account
hub / github.com/BasisResearch/lean.py / main.py

File main.py

examples/01_basic/python/main.py:None–None  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

1"""Run the basic example after `lake build` in the sibling Lean project."""
2
3from pathlib import Path
4

Callers

nothing calls this directly

Calls 1

mainFunction · 0.70

Tested by

no test coverage detected