/LogiCoT

the instructions and demonstrations for building a formal logical reasoning capable GLM

Issues