Kha - Overview Skip to content Navigation Menu Pricing Provide feedback Saved searches Use saved searches to filter your results more quickly Sign up Appearance settings Sebastian Ullrich Kha Lean FRO Munich, Germany 10:33 (UTC +02:00) Mastodon @kha@functional.cafe Sponsoring Organizations Block or report Kha Pinned Loading Lean 4 programming language and theorem prover Lean 8.3k 880 Simple verification of Rust programs via functional purification in Lean 2(!) Lean 339 7 The Lean version manager Rust 549 52 A Nix build graph profiler Python 41 4
