* [Caml-list] [ANN] Albatross: A Verifying Compiler v0.2
@ 2015-08-17 15:59 Helmut Brandl
0 siblings, 0 replies; only message in thread
From: Helmut Brandl @ 2015-08-17 15:59 UTC (permalink / raw)
To: caml-list
I am pleased to announce version 0.2 of the Albatross compiler.
The Albatross compiler suite is written in ocaml v4.0.
What is Albatross?
- A programming language with static verification.
- A theorem prover and a proof assistant.
http://albatross-lang.sourceforge.net
New features of version 0.2:
- Inductive Data Types
- Recursive Functions
- Proofs by Induction
- A lot of examples in the updated documentation
(http://albatross-lang.sourceforge.net/doc/language_description/albatross.pdf)
covering boolean logic, predicate logic, recursion and induction.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2015-08-17 15:59 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-08-17 15:59 [Caml-list] [ANN] Albatross: A Verifying Compiler v0.2 Helmut Brandl
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox