search

hiwane / qeconv

Command to convert the format of first-order formulas.
2 stars 3 forks source link

uniop #11

Closed hiwane closed 8 years ago

hiwane commented 8 years ago 
> echo "x+(-y)=0:" | qeconv
x+-y = 0: