D. Brocard

• The Programming and Proof System ATES