hediet / lean-experiments

Code / Commits / 615034d
Update find_some.lean
update
Henning Dieterichs Henning Dieterichs committed on May 5, 2025, 08:20 PM
Showing 1 changed files +30 additions -7 deletions
M find_some.lean +30 -7
Browse files at this commit →