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
20 Apr 2020
Sources
0.4.2.tar.gz
md5=64367c393f80ca784f88d07155da4fb0
Dependencies
Reverse Dependencies