jsm28 / AperiodicMonotilesLean

Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)
13Updated last week

Related projects

Alternatives and complementary repositories for AperiodicMonotilesLean