← Demetrios Chiuratto Agourakis's projects
Repo

foldlaw

Cayley–Dickson birth function: Lean seal of the basis histogram, and the off-basis sedenion note.

Built withLean

Comments · 0

No comments yet. Tried it? Tell Demetrios what worked, what didn't, or what you'd want next.
Sign in to comment

More from members

All projects

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