3 ms·https://github.com/teacherpeterpan/Logic-LLM https://github.com/teacherpeterpan/Logic-LLMby nrdxp 3y agohttps://github.com/teacherpeterpan/Logic-LLM https://github.com/teacherpeterpan/Logic-LLM