Kernel-checked Lean 4 proof of Fuglede's conjecture for Z/180Z, with exact source certificates and paper.
-
Updated
Aug 29, 2026 - Lean
#
spectral-sets
Here is 1 public repository matching this topic...
Add this topic to your repo
To associate your repository with the spectral-sets topic, visit your repo's landing page and select "manage topics."