GitHub repository: nathsou/Girafe
Primary language: TypeScript
Created: 2020-05-17T22:10:32Z
Description: Term Rewriting Systems infrastructure