EricZhongYJ

Pinned Repositories

CS205-Cpp-Project
Language:C++00
PythonProjects
This is a repository of python projects. It is used to update some python programs.
00
lean-gptf
Interactive neural theorem proving in Lean
Language:Lean1136

EricZhongYJ's Repositories

EricZhongYJ/CS205-Cpp-Project
Language:C++
EricZhongYJ/PythonProjects
This is a repository of python projects. It is used to update some python programs.