hediet / lean-experiments

Code / Commits / faf3239
update
Henning Dieterichs Henning Dieterichs committed on May 17, 2025, 04:38 AM
Showing 3 changed files +163 additions -45 deletions
M CellularAutomatas/ca.lean +126 -45
M CellularAutomatas/defs.lean +1
M CellularAutomatas/find_some.lean +36
Browse files at this commit →