0 · by jalonso.eurosky.social ·1d ago · view on bsky.app ↗ https://www.fixpoint-theory.com/papers/note_e8_gaussian_code.pdf (fixpoint-theory.com) #itp#leanprover