Pinned Repositories
FOL-Unification
一阶谓词逻辑中合一算法的python实现
HITsz-daily-report
基于Github Action的定时HITsz疫情上报脚本，开箱即用
self-intro
It's about my introduction
bj-jin's Repositories
bj-jin/FOL-Unification
一阶谓词逻辑中合一算法的python实现
bj-jin/self-intro
It's about my introduction
bj-jin/HITsz-daily-report
基于Github Action的定时HITsz疫情上报脚本，开箱即用