Show HN: Viveka: filter LLM output against a Lean-verified Advaita Vedanta model(github.com)
5 pointsby adyashakti7 hours ago1 comment