If you have some problems, go to the official site first.

You can navigate into the overlay here

- dev
- dev-lang
- drakon-editor -
1.23
*(DRAKON editor)*

- drakon-editor -
1.23
- dev-ml
- ocamlgraph -
1.8.5
*(A graph library for Objective Caml)*

- zarith -
1.2
*(The Zarith library implements arithmetic and logical operations over arbitrary-precision integers)*

- ocamlgraph -
1.8.5

- dev-lang
- sci
- sci-mathematics
- alt-ergo -
1.01
*(Alt-Ergo is an automatic theorem prover)*

- cvc4 -
9999
*(CVC4 is an efficient open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems)*

- dafny -
2.2.41003.0703
*(Dafny: a language and program verifier for functional correctness)*

- frama-c -
20150201_p4
*(Framework for analysis of source codes written in C)*

- jessie2 -
0_alpha2_p6
*(Software verification platform)*

- key -
2.0.0
*(The KeY Project -- Integrated Deductive Software Design.)*

- pvs -
5.0
*(PVS - a theorem prover for formal specification and verification)*

- rsltc -
2.5
*(An RSL typechecker)*

- why -
2.34_p2
*(Obsolete software verification platform (use jessie2 instead))*

- why3 -
0.87_p1
*(Why is a software verification platform.)*

- z3 -
4.4.0
*(An efficient theorem prover)*

- alt-ergo -
1.01

- sci-mathematics

This site is hosted graciously by Zugaina SAS