hoare-sep-tactics

There are 0 repository under hoare-sep-tactics topic.

• / jormungand

  Isabelle/HOL theories for the paper "Backwards and Forwards with Separation Logic".

  isabellehoare-sep-tacticsweakest-preconditionsstrongest-postcondition
  Language:Isabelle 2