P. Gagert

• The Programming and Proof System ATES