Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
examples		examples
horn		horn
LICENSE		LICENSE
README.md		README.md
build.sc		build.sc

Repository files navigation

MiniHorn

Toy Verifier for Dafny by translation into SMT-LIB Horn format

Installation

some recent Java
VS Code
Scala/Metals

About

Toy Verifier for Dafny by translation into SMT-LIB Horn format

Report repository

Releases

No releases published

Packages

Contributors

Languages

Scala 100.0%