GitHub repository: tpcp-project/knotical
Primary language: HTML
Description: Knotical: An Inference System of Trace Refinement Relations