A framework for verifiable reasoning with language models. - View it on GitHub