An experimental programming language for ergonomic software verification
language
interpreter
solver
verification
programming-language-theory
experimental-programming-language
hoare-triples
-
Updated
Jun 6, 2024 - Rust
An experimental programming language for ergonomic software verification
Add a description, image, and links to the hoare-triples topic page so that developers can more easily learn about it.
To associate your repository with the hoare-triples topic, visit your repo's landing page and select "manage topics."