alba
Alba compiler
README
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
Install
- Published
-
16 Dec 2020
- Maintainers
-
Sources
Dependencies
odoc
with-doc
ppx_inline_test
build & >= "v0.14.0"
menhir
build & >= "20200624"
js_of_ocaml-ppx
>= "3.6.0"
js_of_ocaml
>= "3.6.0"
dune
>= "1.10.0"
ocaml
>= "4.08.0"
Reverse Dependencies