lixiang90

Pinned Repositories

DatasetFactory
To publish datasets made by myself
Language:Python90
buddmono
佛物语
40
formalmath
A formal mathematics package.
Language:Python10
HoTTChinese
同伦类型论（Homotopy Type Theory）图书的中文翻译
Language:TeX10
UsefulTools
Some small useful tools
Language:Python10
lixiang90.github.io
Language:HTML00
mathematics_in_lean_CN
mathematics in lean中文版
Language:HTML00
mathematics_in_lean_source_CN
Source code for the Mathematics in Lean tutorial, Chinese version.
Language:Lean00
scwong-seminar.github.io
Language:HTML00

lixiang90's Repositories

lixiang90/mathematics_in_lean_CN
mathematics in lean中文版
Language:HTML
lixiang90/mathematics_in_lean_source_CN
Source code for the Mathematics in Lean tutorial, Chinese version.
Language:Lean
lixiang90/lixiang90.github.io
Language:HTML
lixiang90/DatasetFactory
To publish datasets made by myself
Language:Python9
lixiang90/formalmath
A formal mathematics package.
Language:Python1
lixiang90/UsefulTools
Some small useful tools
Language:Python1
lixiang90/HoTTChinese
同伦类型论（Homotopy Type Theory）图书的中文翻译
Language:TeX1
lixiang90/buddmono
佛物语
4
lixiang90/scwong-seminar.github.io