jsm28 / AperiodicMonotilesLean

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

Related projects

Alternatives and complementary repositories for AperiodicMonotilesLean