Kleis
Universal Verification Platform for Mathematics, Business Rules, and Beyond
557+
Unique Cloners
1416
Commits
29
Architecture Decisions
🔬 Type System
Hindley-Milner type inference with complete algebraic foundations
🎯 Verification
Z3 theorem prover integration for axiom verification
🌐 Universal
Mathematics, business rules, network protocols, and more
📝 Self-Hosting Architecture
Bootstrap in Rust, extensible in Kleis