← Back to context Comment by pjmlp 5 days ago It is a way to formally verify Ada, it meets all those criterias. 1 comment pjmlp Reply bneb-dev 3 days ago It looks like verification is distinct from the compiler.
It looks like verification is distinct from the compiler.