GitHub repository: xiyuzhai/lean-claude
Primary language: Rust
Description: Rewrite Lean4 Compiler in Rust, using only Claude Code