GitHub repository: mwhittaker/enforced_invariant_confluence
Primary language: Python
Description: Enforced Invariant Confluence