lean5

★ 2 updated 2mo ago ⑂ fork

lean4 ported to Rust for AI self-coding in real time

No plain-English explanation yet — one is being written right now. Check back in a minute.