A formally verified proof of the soundness of System Fgithub.com/stepchowfun2 pointsmmphosis7 years ago