GitHub repository: workflowfm/workflowfm-reasoner
Primary language: OCaml
Description: A logic-based library for correct-by-construction process modelling and composition.