Show HN: Viveka: filter LLM output against a Lean-verified Advaita Vedanta model #1 Post by adyashakti » Tue, Jun 02, 2026, 6:01 AM UTC Show HN: Viveka: filter LLM output against a Lean-verified Advaita Vedanta modelgithub.com
Re: Show HN: Viveka: filter LLM output against a Lean-verified Advaita Vedanta model #2 Post by adyashakti » Tue, Jun 02, 2026, 6:01 AM UTC [flagged]