GitHub repository: DeltaQ-SD/dqsd-workbench
Primary language: Jupyter Notebook
Created: 2023-08-21T11:52:26Z
Description: A iHaskell-based (Juypter) notebook based workbench for the ∆QSD framework