← Back to context Comment by pjmlp 4 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.