GitHub repository: Ermine516/Schematic-Unification
Primary language: Python
Description: Implementation of Schematic Unification algorithm