Sylvia Grewe: VeriTaS: verification of type system specifications: mechanizing domain knowledge about progress and preservation proofs. SPLASH (Companion Volume) 2016: 12-14