chenjulang's repositories
rubikcubegroup
rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/
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.
animate-lean-proofs
tool for turning Lean proofs into Blender animations
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
koel
🐦 A personal music streaming server that works.
linear_algebra_game
Building the linear algebra game!
mathcraft
Minecraft written in Lean4
mathlib
Lean 3's obsolete mathematical components library: please use mathlib4
ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
Robo_Hidden
隐藏关卡
Robo_hiddengame
我们来玩一下隐藏关卡
rubikcubegroup2
rubikcube's theorems proved.
rubiks-cube-group
A formalization of the Rubik's cube group
SciLean
Scientific computing in Lean 4
src
常用代码收集资源分享
SSJs
SSjs
structure-admin
技术栈:nodeJS+vue+vuex+mysql+redis,前端使用vue的element-ui的组件库,后端使用nodeJS的服务,数据库mysql,缓存使用的还redis
Untangle
Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4