chepinzhang

Pinned Repositories

covid-19
Novel Coronavirus 2019 time series data on cases
Language:Python00
lean4
Lean 4 programming language and theorem prover
Language:Lean00
RenZhengfei
任正非思想
00

chepinzhang's Repositories

chepinzhang/covid-19
Novel Coronavirus 2019 time series data on cases
Language:Python00
chepinzhang/lean4
Lean 4 programming language and theorem prover
Language:Lean00
chepinzhang/RenZhengfei
任正非思想
00