chenjulang
Follow
-
linear_algebra_done_right Public
Forked from martincmartin/linear_algebra_done_right线性代数应该这样学
Lean UpdatedDec 28, 2024 -
rubik-lean4 Public
Forked from vihdzp/rubik-lean4Lean 4 formalization of Rubik's cubes
Lean UpdatedDec 27, 2024 -
mathlib4_EuclidBook Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedDec 27, 2024 -
logical_verification_2024 Public
Forked from lean-forward/logical_verification_2024系统学习2024
Lean UpdatedDec 22, 2024 -
animate-lean-proofs Public
Forked from dwrensha/animate-lean-proofstool for turning Lean proofs into Blender animations
Lean Apache License 2.0 UpdatedDec 17, 2024 -
lean-monads Public
Forked from hargoniX/lean-monadsA formalization of Monads and friends in Lean4
Lean MIT License UpdatedNov 1, 2024 -
-
-
-
hacking-lean-in-lean-code Public
Forked from alissa-tung/hacking-lean-in-lean-codeLean UpdatedSep 17, 2024 -
azure-scripts Public
Forked from leanprover-community/azure-scriptslean3全环境打包
Python UpdatedSep 17, 2024 -
MetaExamples Public
Forked from siddhartha-gadgil/MetaExamplesExamples using MetaProgramming for writing tactics etc.
Lean Apache License 2.0 UpdatedSep 14, 2024 -
-
-
-
filter-game Public
Forked from bridgekat/filter-gamefilter游戏
Lean Apache License 2.0 UpdatedSep 10, 2024 -
-
-
lean4-metaprogramming-book Public
Forked from leanprover-community/lean4-metaprogramming-book元编程教材
Lean Apache License 2.0 UpdatedSep 8, 2024 -
-
formalising-mathematics-2023 Public
Forked from ImperialCollegeLondon/formalising-mathematics-2023帝国2023
Lean UpdatedSep 6, 2024 -
formalising-mathematics-2022 Public
Forked from ImperialCollegeLondon/formalising-mathematics-2022帝国2022
Lean UpdatedSep 5, 2024 -
formalising-mathematics Public
Forked from ImperialCollegeLondon/formalising-mathematics帝国2021
Lean Apache License 2.0 UpdatedSep 5, 2024 -
-
lean-mathgirls Public
Forked from ntabee/lean-mathgirlsFormalized proofs of theorems/equations in "Math Girls (数学ガール)" book series, in Lean theorem prover.
-
RuntimeFormalization4 Public
Forked from tomaz1502/RuntimeFormalization4算法复杂度lean4版本
Lean UpdatedSep 1, 2024 -
RunTimeFormalization Public
Forked from tomaz1502/RunTimeFormalization算法复杂度 of Insertion Sort and Merge Sort.
Lean UpdatedSep 1, 2024 -
-
-
formal_book Public
Forked from mo271/FormalBook《数学天书中的证明》中的LEAN翻译
Lean Apache License 2.0 UpdatedAug 28, 2024