package alba
Alba compiler
Install
Dune Dependency
Authors
Maintainers
Sources
0.4.3.tar.gz
sha256=062f33c55ef39706c4290dff67d5a00bf009051fd757f9352be527f629ae21fc
md5=eb4edc4d6b7e15b83d6397bd34994153
Description
Published: 06 Aug 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 & >= "v0.14.0" -
menhir
build & >= "20200624" -
js_of_ocaml-ppx
>= "3.6.0" -
js_of_ocaml
>= "3.6.0" - linenoise
-
dune
>= "1.10.0" -
ocaml
>= "4.08.0" & < "5.0"
Dev Dependencies (1)
-
odoc
with-doc
Used by
None
Conflicts
None
On This Page