Show HN: Viveka: filter LLM output against a Lean-verified Advaita Vedanta model(github.com)7 points by adyashakti 12 hours ago | 0 comments