Pinned Repositories
102_comb_lean
组合问题
20200319
3Dtest001
3Dtest002
animate-lean-proofs
tool for turning Lean proofs into Blender animations
esprima_callgraph_smalldemo
a small demo of using esprima to callgraph
lean-mathgirls
Formalized proofs of theorems/equations in "Math Girls (数学ガール)" book series, in Lean theorem prover.
LeanCourse_Learning
LeanCourse学习过程+视频分享
rubik_cube
3D rubik_cube in LEAN
rubikcubegroup
rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/
chenjulang's Repositories
chenjulang/category-theory-game
chenjulang/structure-admin
技术栈：nodeJS+vue+vuex+mysql+redis，前端使用vue的element-ui的组件库，后端使用nodeJS的服务，数据库mysql，缓存使用的还redis
chenjulang/20200319
chenjulang/shader_light2d
chenjulang/gitTest3
chenjulang/jeejaylangCocos
chenjulang/gitTest2
chenjulang/gitTest
chenjulang/emptytest
chenjulang/test2
chenjulang/test1
mytest1
chenjulang/sddd
sss
chenjulang/sdd
chenjulang/myapp
6
chenjulang/julanggame
cocos游戏开发
chenjulang/Tangle-Isabelle