hediet / lean-experiments

Code / Commits
📝 Commits on main
Commits on May 4, 2025
Henning Dieterichs
Update find_some.lean
Henning Dieterichs committed 8 months ago
ff1e309
Henning Dieterichs
update
Henning Dieterichs committed 8 months ago
4ee8915
Commits on April 30, 2025
Henning Dieterichs
update
Henning Dieterichs committed 8 months ago
11ea5cb
Commits on March 16, 2025
Henning Dieterichs
update
Henning Dieterichs committed 10 months ago
5ea080b
Commits on March 15, 2025
Henning Dieterichs
update
Henning Dieterichs committed 10 months ago
9bbf0dc
Henning Dieterichs
update
Henning Dieterichs committed 10 months ago
a83b41c
Henning Dieterichs
Update ca.lean
Henning Dieterichs committed 10 months ago
22d3aec
Commits on March 13, 2025
Henning Dieterichs
update
Henning Dieterichs committed 10 months ago
6c67431
Henning Dieterichs
initial commit
Henning Dieterichs committed 10 months ago
8d4375f