Pinned Repositories
fp-lean-zh
Lean 函数式编程
GlimpseOfLean
Lean 定理证明初探
IMO_Resource
Resource of IMO(International Mathematical Olympiad)
lean-zh.github.io
Homepage of the Lean-zh website.
LeanDojo
Tool for data extraction and interacting with Lean programmatically.
math-in-lean-source
Source code for the Mathematics in Lean tutorial.
math-in-lean-zh
The user home repository for the Mathematics in Lean tutorial.
mp-lean-zh
Lean 4 元编程
tp-lean-zh
Lean 定理证明
type_checking_in_lean4
Type Checking in Lean 4
Lean 中文文档翻译's Repositories
Lean-zh/fp-lean-zh
Lean 函数式编程
Lean-zh/lean-zh.github.io
Homepage of the Lean-zh website.
Lean-zh/tp-lean-zh
Lean 定理证明
Lean-zh/math-in-lean-zh
The user home repository for the Mathematics in Lean tutorial.
Lean-zh/mp-lean-zh
Lean 4 元编程
Lean-zh/GlimpseOfLean
Lean 定理证明初探
Lean-zh/math-in-lean-source
Source code for the Mathematics in Lean tutorial.
Lean-zh/IMO_Resource
Resource of IMO(International Mathematical Olympiad)
Lean-zh/LeanDojo
Tool for data extraction and interacting with Lean programmatically.
Lean-zh/IMO_2024
Lean Solution to IMO 2024.
Lean-zh/type_checking_in_lean4
Type Checking in Lean 4
Lean-zh/.github
Public profile of Lean-zh
Lean-zh/flypitch
A formal proof of the independence of the continuum hypothesis
Lean-zh/HTPIwL
Book about using Lean with How To Prove It
Lean-zh/lean4game
Server to host lean games.
Lean-zh/formalabstracts
Lean-zh/GlimpseToGame
A Game Adaptation of the document GlimpseOfLean.
Lean-zh/lean4
用作文档目的