Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / workflowfm / workflowfm-reasoner
A logic-based library for correct-by-construction process modelling and composition.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/workflowfm%2Fworkflowfm-reasoner
Stars: 1
Forks: 0
Open Issues: 4
License: apache-2.0
Language: OCaml
Repo Size: 4.19 MB
Dependencies:
0
Created: over 5 years ago
Updated: 5 months ago
Last pushed: 5 months ago
Last synced: 5 months ago
Topics: business-process-management, correct-by-construction, proofs-as-processes, resource-modeling, theorem-proving, type-theory, workflow-management, workflow-models, workflows
Files
No dependencies found