mathswitch — infrastructure for relaying and exchanging mathematical concepts

scheme whose stalks are integrally closed domains