package alba

  1. Overview
  2. Docs
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)

  1. ppx_inline_test build & >= "v0.14.0"
  2. menhir build & >= "20200624"
  3. js_of_ocaml-ppx >= "3.6.0"
  4. js_of_ocaml >= "3.6.0"
  5. linenoise
  6. dune >= "1.10.0"
  7. ocaml >= "4.08.0" & < "5.0"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.