G github.com Show HN: Viveka: filter LLM output against a Lean-verified Advaita Vedanta model 7 points adyashakti 5 months ago 0 comments
