coq-tactics

There are 0 repository under coq-tactics topic.

• TyGuS / ssl-vst

  Coq tactics for certification of the results of SSL-based program synthesis via the Verified Software Toolchain.

  coqcoq-tacticssynthesisvstseparation-logicverification
  Language:Coq 0