ParentFull threadtbodt·They should have formally verified the paper as well as the language.View on HN