https://git.yangruizhi.cyou/FudanLogicGroup/fudan-logic-history2026-05-17T22:18:34+08:00https://git.yangruizhi.cyou/ganganray/Logic-Translation2026-05-15T21:43:09+08:00