issues
search
leanprover-community
/
lean4-samples
Code samples for Lean 4
Apache License 2.0
67
stars
22
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
chore: move lean-toolchain to fixed versions
#26
semorrison
closed
8 months ago
0
chore: add ListComprehension to CI
#25
semorrison
closed
8 months ago
0
Question: How do you run lean4 on mdbook?
#24
Seasawher
closed
1 year ago
0
Fix 404 link
#23
Seasawher
closed
1 year ago
1
add quine example
#22
mo271
opened
1 year ago
1
Incorrect proof in NaturalNumbers
#21
paulch42
opened
1 year ago
1
Numerous trivial edits to NaturalNumbers
#20
paulch42
closed
3 months ago
0
update toolchain version
#19
lovettchris
closed
1 year ago
0
fix bugs
#18
lovettchris
closed
1 year ago
0
Add Inequality World
#17
lovettchris
closed
1 year ago
0
Add AdvancedMultiplicationWorld
#16
lovettchris
closed
1 year ago
0
Add AdvancedPropositionWorld and AdvancedAdditionWorld.
#15
lovettchris
closed
1 year ago
0
Rubik's cube with Gitpod needs extra shell commands to build
#14
crisperdue
opened
1 year ago
1
Add more to natural numbers
#13
lovettchris
closed
1 year ago
0
Add multiplication world.
#12
lovettchris
closed
1 year ago
0
natural number game content for lean4
#11
lovettchris
closed
1 year ago
0
List Comprehension example of syntax extension.
#10
lovettchris
closed
1 year ago
2
Rubiks Cube doesn't build for me (Lean4 dev novice here)
#9
enjoysmath
opened
1 year ago
1
chore: fix case-sensitive readme links
#8
collares
closed
1 year ago
0
Fun with Functors.
#7
lovettchris
closed
1 year ago
0
fun with monads
#6
lovettchris
closed
1 year ago
0
CI?
#5
leodemoura
closed
1 year ago
3
sample editing
#4
lovettchris
closed
2 years ago
0
feat: rubiks cube sample
#3
EdAyers
closed
1 year ago
12
Add a new Guess-my-number example.
#2
casavaca
closed
2 years ago
7
Add a csv parser sample
#1
xubaiw
closed
2 years ago
3