Otter and Mace Users

This page contains some of the researchers and educators who have used the automated deduction systems Otter or Mace.

Maybe this list should be separated into several areas:

Let us know ( if we should add, change, or remove entries.

Note: the secondary points are contexts in which Otter or Mace were used, and not necessaily the primary research areas of the users.