first-order-exprs/.gitignore, branch master
Attempt at a faster first-order expression simplifier
https://git.tomsmeding.com/first-order-exprs/atom?h=master
2020-12-26T17:08:15Z
Initial
2020-12-26T17:08:15Z
Tom Smeding
tom.smeding@gmail.com
2020-12-26T17:08:15Z
urn:sha1:5d1d3b4f251bf938648d7d21c6641a1a0cc0768b