J. T. Schwartz

Latest

• T-theorem proving. I