Sync blueprint and roadmap doc with HermiteL2.lean - #17

Sync blueprint and roadmap doc with HermiteL2.lean#17

JonBannon merged 1 commit into

mainJonBannon/SpectralTriples:mainfrom

sync-hermite-l2JonBannon/SpectralTriples:sync-hermite-l2Copy head branch name to clipboard