Project Aletheia building a theorem-first, cryptographically-auditable allocation system Lean lemma + Rust/Python simulator scaffold live, ZK checkpoints & entropy fairness duality in progress.
reproducibility fairness zero-knowledge ergodic-control convex-geometry ai-act housing-allocation lean-proofs
-
Updated
Oct 6, 2025 - Python