Show HN: Lingua Universale – session types and Lean 4 proofs for AI agentsgithub.com/rafapra30081 pointrafapra4 months ago