A tool for doing reliability analyses (fault-tree analyses) in Coq
Dependences:
- coq >= 8.17
- equations >= 1.3
To compile use dune build.
David Hamelin, Space Transportation Directorate, CNES
August 2023
Released under the terms of CeCILL license (see file LICENSE)