hediet / lean-experiments

Code / Commits / bc15bc8
update
Henning Dieterichs Henning Dieterichs committed on Sep 29, 2025, 08:37 PM
Showing 5 changed files +95 additions -36 deletions
M CellularAutomatas/defs.lean +20 -1
M CellularAutomatas/lemma_2_3_1_FCellAutomata_accept_delta_closed.lean +5 -4
M CellularAutomatas/lemma_2_4_1_passive_initial_border.lean +1 -1
M CellularAutomatas/lemma_4_1_3_k-step_speedup.lean +68 -15
M CellularAutomatas/todo.lean +1 -15
Browse files at this commit →