jsm28 / AperiodicMonotilesLeanLinks

Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)
14Updated 2 weeks ago

Alternatives and similar repositories for AperiodicMonotilesLean

Users that are interested in AperiodicMonotilesLean are comparing it to the libraries listed below

Sorting: