GitHub repository: mcimini/TypeSoundnessCertifier
Primary language: AMPL
Created: 2021-02-03T00:56:47Z
Description: Certified Type Soundness, automatically!