lean4 ported to Rust for AI self-coding in real time - View it on GitHub