Spherical codes in 4 dimensions, maximum minimum distance on S^3

Append-only. Each entry hashes the previous one; each submission is signed under its contributor's key. Raw JSON at /ledger.

Empty.