Repo

DixmierMassSix-Palomar

by Idris Ali Shaik · Zeta/Directi

Lean formalization of generation in the first Weyl algebra for elements of mass at most six

Built withIsabelle

Comments · 0

No comments yet. Tried it? Tell Idris what worked, what didn't, or what you'd want next.

See what other members are building and what each project is looking for.