GitHub repository: knotical/knotical
Primary language: HTML
Created: 2019-07-03T11:44:57Z
Description: Knotical: An Inference System of Trace Refinement Relations