package alba
Alba compiler
Install
Dune Dependency
Authors
Maintainers
Sources
0.4.1.tar.gz
sha256=439b1dce07c86e914d1ebf1712c5581418314b0c8d13594f27a698b1d25fe272
md5=5cf58d4ed4eacbe6f330e9d2378ef5c6
Description
Published: 10 Mar 2020
README
README.md
General
This repository holds the sources for the Albatross compiler.
The language Albatross allows static verification (i.e. correctness proofs) of programs.
The albatross compiler is a proof assistant and a compiler for the Albatross language.
Documentation
Dependencies (7)
-
ppx_inline_test
build - js_of_ocaml-ppx
-
js_of_ocaml
build -
dune
>= "1.8.0" -
menhir
build - linenoise
-
ocaml
>= "4.08.0" & < "5.0"
Dev Dependencies (1)
-
odoc
with-doc
Used by
None
Conflicts
None
On This Page