Show HN: Lingua Universale – session types and Lean 4 proofs for AI agents

(github.com) by rafapra | Feb 26, 2026 | 0 comments on HN