| layout | default |
|---|---|
| title | Mumei |
| description | Formal verification toolchain and proof-driven programming language for existing code, natural-language specifications, and .mm modules. |
| keywords | mumei, 無銘, AI-native formal verification, Z3 theorem prover, Lean 4, compiler, proof certificate |
{% include_relative README.md %}