Sebastian Ullrich Kha

• Lean FRO

• Munich, Germany
• 09:12 (UTC +01:00)
• @kha@functional.cafe

Sponsoring

Organizations

Pinned Loading

1. Lean 4 programming language and theorem prover

   Lean 7.6k 787

2. Simple verification of Rust programs via functional purification in Lean 2(!)

   Lean 340 7

3. The Lean version manager

   Rust 492 49

4. A Nix build graph profiler

   Python 37 3