Instructions file
Instructions for nasqret/lean-interact, covering claude.md — operating instructions for this repository, 0. start of every session, 1. the formalization loop, turn length, and deferred bookkeeping and when the proof is the interesting part.
not rated 10 26d ago A 4,212 tokens
original MIT