Type-Theoretic Construction Workflow Protocol | Type-Theoretic Construction | Mathematics | NEROS