Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
std4
Standard Library for Lean 4
Other
Emerging
GitHub
Stars
—
Forks
—
Contributors
8
Last push
15mo ago
Recent commits
Latest commits.
feat: theorems for working with Std.Range.forIn
acb5ba1
Mario Carneiro
38mo ago
feat: add a theorem about sublists (#142)
66c4158
Bulhwi Cha
38mo ago
fix: lint
5f886f4
Mario Carneiro
38mo ago
feat: more string theorems
8605f7a
Mario Carneiro
38mo ago
fix: indent calculation for subgoals action
5362098
Mario Carneiro
38mo ago
chore: bump lean 05-16
3156cd5
Mario Carneiro
38mo ago
chore: add Std.CodeAction import file
f17843f
Mario Carneiro
38mo ago
feat: "start tactic proof" and "add subgoals" code actions
8743b22
Mario Carneiro
38mo ago
Top contributors
Builders behind this project.
digama0
206 commits
gebner
20 commits
JLimperg
15 commits
kim-em
12 commits
chabulhwi
7 commits
JamesGallicchio
5 commits
Ruben-VandeVelde
3 commits
AdrienChampion
2 commits
