GitHub repository: kris-brown/SMT_term_rewriting
Primary language: C++
Created: 2020-05-10T09:10:53Z
Description: Working towards typed, first-order unification modulo a set of equational axioms