GitHub repository: Brandon-Rozek/Term-Algebra.js
Primary language: JavaScript
Created: 2023-01-24T01:21:45Z
Description: Term Algebra for Equational Reasoning