hediet / lean-experiments

Code / Commits
📝 Commits on main
Commits on September 29, 2025
Henning Dieterichs
update
Henning Dieterichs committed 3 months ago
bc15bc8
Commits on September 28, 2025
Henning Dieterichs
update
Henning Dieterichs committed 3 months ago
d0a569b
Henning Dieterichs
update
Henning Dieterichs committed 3 months ago
f6e6516
Henning Dieterichs
update
Henning Dieterichs committed 3 months ago
7bf899c
Commits on June 3, 2025
Henning Dieterichs
update
Henning Dieterichs committed 7 months ago
19524ae
Henning Dieterichs
wip
Henning Dieterichs committed 7 months ago
1a0a017
Commits on June 2, 2025
Henning Dieterichs
update
Henning Dieterichs committed 7 months ago
8572f59
Commits on May 18, 2025
Henning Dieterichs
wip
Henning Dieterichs committed 8 months ago
960f760
Henning Dieterichs
progress
Henning Dieterichs committed 8 months ago
db10d64
Commits on May 17, 2025
Henning Dieterichs
update
Henning Dieterichs committed 8 months ago
166c2b1
Henning Dieterichs
update
Henning Dieterichs committed 8 months ago
faf3239
Commits on May 14, 2025
Henning Dieterichs
update
Henning Dieterichs committed 8 months ago
f8cefc0
Commits on May 11, 2025
Henning Dieterichs
update
Henning Dieterichs committed 8 months ago
2dc8502
Commits on May 10, 2025
Henning Dieterichs
update
Henning Dieterichs committed 8 months ago
4afa07d
Commits on May 9, 2025
Henning Dieterichs
update
Henning Dieterichs committed 8 months ago
2117cc2
Henning Dieterichs
update
Henning Dieterichs committed 8 months ago
fbc1fd5
Henning Dieterichs
update
Henning Dieterichs committed 8 months ago
25f3e77
Henning Dieterichs
fix
Henning Dieterichs committed 8 months ago
88907cd
Henning Dieterichs
update
Henning Dieterichs committed 8 months ago
064905e
Henning Dieterichs
update
Henning Dieterichs committed 8 months ago
0c7faa0
Henning Dieterichs
update
Henning Dieterichs committed 8 months ago
4856b6f
Henning Dieterichs
update
Henning Dieterichs committed 8 months ago
d21f3f3
Henning Dieterichs
wip
Henning Dieterichs committed 8 months ago
581dce2
Commits on May 7, 2025
Henning Dieterichs
Update find_some.lean
Henning Dieterichs committed 8 months ago
5ce0192
Commits on May 6, 2025
Henning Dieterichs
Update find_some.lean
Henning Dieterichs committed 8 months ago
09e12b7
Henning Dieterichs
Update find_some.lean
Henning Dieterichs committed 8 months ago
20948d5
Henning Dieterichs
Update find_some.lean
Henning Dieterichs committed 8 months ago
473740b
Henning Dieterichs
Update find_some.lean
Henning Dieterichs committed 8 months ago
caa5c66
Commits on May 5, 2025
Henning Dieterichs
Update find_some.lean
Henning Dieterichs committed 8 months ago
615034d
Henning Dieterichs
Update find_some.lean
Henning Dieterichs committed 8 months ago
476ab49