GitHub repository: raw-bacon/raw-validity-webapp
Primary language: JavaScript
Created: 2020-07-30T09:31:10Z
Description: The webapp for raw-validity, a program checking validity of l-group formulas.