Type-Theoretic Derivation Review and Validation Protocol | Type-Theoretic Derivation | Mathematics | NEROS