#

proofs-as-processes

Here is 1 public repository matching this topic...

workflowfm / workflowfm-reasoner

A logic-based library for correct-by-construction process modelling and composition.

theorem-proving type-theory workflows workflow-management business-process-management correct-by-construction resource-modeling workflow-models proofs-as-processes

Updated Dec 27, 2023
OCaml

Improve this page

Add a description, image, and links to the proofs-as-processes topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the proofs-as-processes topic, visit your repo's landing page and select "manage topics."