hediet / lean-experiments

Code / Commits / 25f3e77
update
Henning Dieterichs Henning Dieterichs committed on May 9, 2025, 10:59 PM
Showing 2 changed files +55 additions -20 deletions
M CellularAutomatas/ca.lean +38 -4
M CellularAutomatas/find_some.lean +17 -16
Browse files at this commit →