Pith. sign in

Spectral

Spectral modules in the audited public canon. Hand-written Lean theorems, sorry-free, with no domain-specific axioms.

1 module · 33 thm/lemma · 639 lines
module thm lemma def lines papers
Spectral.DFT8 13 20 12 639 -

full source mirrored from github.com/jonwashburn/shape-of-logic