No results found

AM

Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)
Sort by
  1. Git dependency.
    Found on Reservoir.

    mathlibd6bc0a1

    The math library of Lean 4