Comparative proofs of the soundness of weakest preconditions using several interactive provers
Primary LanguageMakefile