{"source":"examples/komorebi_demonstrations.py","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","url":"downloads/komorebi_demonstrations.py","size":4656,"sha256":"e68f1760601934d7777fc13e1212aa8b167c7283fee3518f9d39b258171f1d97","reader_url":"read/demonstrations.html","scope":"Three fixed exact teaching examples. No Lean execution or general theorem verification."}