Show HN: Viveka: filter LLM output against a Lean-verified Advaita Vedanta model

(github.com) by adyashakti | Jun 2, 2026 | 0 comments on HN