chenjulang's repositories
rubikcubegroup
rubikcubegroup魔方定理证明+视频分享
LeanCourse_Learning
LeanCourse学习过程+视频分享
rubik_cube
3D rubik_cube in LEAN
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.
blog
个人学习记录和博客 (持续更新中)欢迎Star和Fork ^_^
EG
准备将这里的结果应用到scilean里面,可视化欧几里得几何证明
filter_lean3gametemplate
Welcome to The Filter Game! This is also our M2R project supervised by Prof. Kevin Buzzard at Imperial College London
linear_algebra_game
Building the linear algebra game!
mathlib
Lean 3's obsolete mathematical components library: please use mathlib4
ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
rubikcubegroup2
rubikcube's theorems proved.
rubiks-cube-group
A formalization of the Rubik's cube group
SciLean
Scientific computing in Lean 4
sddd
sss
src
常用代码收集资源分享
SSJs
SSjs
structure-admin
技术栈:nodeJS+vue+vuex+mysql+redis,前端使用vue的element-ui的组件库,后端使用nodeJS的服务,数据库mysql,缓存使用的还redis
test1
mytest1
Untangle
Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4