package alt-ergo
Automatic theorem prover based on SMT technology and dedicated to program verification
Install
Dune Dependency
Authors
Maintainers
Sources
alt-ergo-0.95.2.tar.gz
sha256=5a6cd4349c144653be19a1ba4c254bbf626bdfd97c54d1c13ba63e396006eeac
md5=ab9c160f7ecb26aa2479f9169db9b869