https://mintlify.wiki/lovishchopra/NL2FOL/api/cvc-generator 2026-03-07T10:43:52.378Z https://mintlify.wiki/lovishchopra/NL2FOL/api/helpers 2026-03-07T10:43:53.160Z https://mintlify.wiki/lovishchopra/NL2FOL/api/nl2fol 2026-03-07T10:43:53.159Z https://mintlify.wiki/lovishchopra/NL2FOL/api/smt-results 2026-03-07T10:43:53.165Z https://mintlify.wiki/lovishchopra/NL2FOL/concepts/first-order-logic 2026-03-07T10:43:53.162Z https://mintlify.wiki/lovishchopra/NL2FOL/concepts/logical-fallacies 2026-03-07T10:43:53.163Z https://mintlify.wiki/lovishchopra/NL2FOL/concepts/smt-solving 2026-03-07T10:43:53.167Z https://mintlify.wiki/lovishchopra/NL2FOL/concepts/translation-pipeline 2026-03-07T10:43:53.161Z https://mintlify.wiki/lovishchopra/NL2FOL/examples/basic-usage 2026-03-07T10:43:57.488Z https://mintlify.wiki/lovishchopra/NL2FOL/examples/custom-datasets 2026-03-07T10:43:57.489Z https://mintlify.wiki/lovishchopra/NL2FOL/examples/model-backends 2026-03-07T10:43:57.487Z https://mintlify.wiki/lovishchopra/NL2FOL/installation 2026-03-07T10:48:33.902Z https://mintlify.wiki/lovishchopra/NL2FOL/introduction 2026-03-07T10:48:33.897Z https://mintlify.wiki/lovishchopra/NL2FOL/quickstart 2026-03-07T10:43:58.725Z https://mintlify.wiki/lovishchopra/NL2FOL/usage/evaluation 2026-03-07T10:43:58.721Z https://mintlify.wiki/lovishchopra/NL2FOL/usage/fol-to-smt 2026-03-07T10:43:58.720Z https://mintlify.wiki/lovishchopra/NL2FOL/usage/interpretation 2026-03-07T10:43:58.723Z https://mintlify.wiki/lovishchopra/NL2FOL/usage/nl-to-fol 2026-03-07T10:48:33.900Z