Loading paper
The tropical symplectic Grassmannian | Tomesphere