Lean formalization of bounded grids and computable cellular automata defined thereover

Volume: 195, Pages: 102471
Published: Sep 1, 2020
Abstract
null null We present a formalization of bounded grids using Lean proof assistant and provide a formalized implementation along with an interface consisting of various definitions together with their proven–correct properties serving to manipulate grids in general fashion regardless of the intended use case. We then proceed to demonstrate the applicability of the grids by interpreting them as matrices, followed by developing a formalization of...
Paper Details
Title
Lean formalization of bounded grids and computable cellular automata defined thereover
Published Date
Sep 1, 2020
Volume
195
Pages
102471
Citation AnalysisPro
  • Scinapse’s Top 10 Citation Journals & Affiliations graph reveals the quality and authenticity of citations received by a paper.
  • Discover whether citations have been inflated due to self-citations, or if citations include institutional bias.