hediet / lean-experiments

Code / Commits / 1a0a017
wip
Henning Dieterichs Henning Dieterichs committed on Jun 3, 2025, 09:32 AM
Showing 1 changed files +39 additions -10 deletions
M CellularAutomatas/lemma_4_1_3_k-step_speedup.lean +39 -10
Browse files at this commit →