package alba

  1. Overview
  2. Docs

README.md.html

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