DonghengChen

Zhejiang University student, be good at bug writing, logic and ai, python.

Zhejiang UniversityHangzhou

Pinned Repositories

ipl
Language:Lean4 2 02
IFOL
Language:Lean10
ipl
CDH
Language:Lean00
LaTeX_OCR_PRO
:art: 数学公式识别增强版：中英文手写印刷公式、支持初级符号推导（数据结构基于 LaTeX 抽象语法树）
Language:Jupyter Notebook00
ProbabilityArgumentation2021
Language:Java00

DonghengChen's Repositories

DonghengChen/IFOL
Language:Lean10
DonghengChen/ipl
CDH
Language:Lean00
DonghengChen/LaTeX_OCR_PRO
:art: 数学公式识别增强版：中英文手写印刷公式、支持初级符号推导（数据结构基于 LaTeX 抽象语法树）
Language:Jupyter Notebook00
DonghengChen/ProbabilityArgumentation2021
Language:Java00