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/lean-mathgirls
Formalized proofs of theorems/equations in "Math Girls (数学ガール)" book series, in Lean theorem prover.
chenjulang/102_comb_lean
组合问题
chenjulang/3Dtest001
chenjulang/3Dtest002
chenjulang/azure-scripts
lean3全环境打包
chenjulang/codespaces-demo
chenjulang/filter-game
filter游戏
chenjulang/formal_book
《数学天书中的证明》中的LEAN翻译
chenjulang/formalising-mathematics
帝国2021
chenjulang/formalising-mathematics-2022
帝国2022
chenjulang/formalising-mathematics-2023
帝国2023
chenjulang/hacking-lean-in-lean-code
chenjulang/IMOSLLean4
奥数题尝试讲解
chenjulang/lean-graphcoloring
图形着色
chenjulang/lean-monads
A formalization of Monads and friends in Lean4
chenjulang/lean4-metaprogramming-book
元编程教材
chenjulang/lean99
99个入门lean小代码片段
chenjulang/leanknot
纽结理论
chenjulang/logical_verification_2024
系统学习2024
chenjulang/mathlib4_EuclidBook
The math library of Lean 4
chenjulang/MetaExamples
Examples using MetaProgramming for writing tactics etc.
chenjulang/rubik-lean4
Lean 4 formalization of Rubik's cubes
chenjulang/RunTimeFormalization
算法复杂度 of Insertion Sort and Merge Sort.
chenjulang/RuntimeFormalization4
算法复杂度lean4版本
chenjulang/sudoku
数独lean3
chenjulang/sudoku-lean
数独游戏
chenjulang/symmetric_project
牛顿恒等式
chenjulang/trylean
chenjulang/trylean2
chenjulang/zerosum
原项目为https://gitee.com/hoxide