hoare-triples

There are 0 repository under hoare-triples topic.

• tako

  Cypher1 / tako

  An experimental programming language for ergonomic software verification

  experimental-programming-languageverificationhoare-triplessolverlanguageinterpreterprogramming-language-theory
  Language:Rust 16