support for coq-equations By using the new docker image motrellin/docker-coq-equations, one can now use this template to check coq code using the extension coq-extensions. -----BEGIN SSH SIGNATURE----- U1NIU0lHAAAAAQAAAZcAAAAHc3NoLXJzYQAAAAMBAAEAAAGBAKy/QyfnmPSdhzdwNJ+nl4 7MUqG24lW44QYlm+uyYSjRmn6vyjqtUT05mJfmhfUOydCxL/TZ6QYtAYACHItvA14dMQts mz7HZDrR6bpxM3QegQJNQMVFjmTw8Hx/tZ2/XLKL6PqPqJ6x1DTSJdV1HQWsRtZ7/YnvZc YmHx7ZrmDqjHQyVTeoeTZ5uiFFTSN2gfAAlnpqcaPsYl9sxpih/AAUeKtrz9l2mt6ez/gE 29xDZ2SWD53+EmwpN2JUnSd8GYYNs99pf0dUrEB3NFtrbsIOsS6MaeQmzO1T/DjmNqWGpe uhQ9N2ondRKX0iqBMi+MAphD6aooM8lAYdkmYOBULa20ru09nYSxtCgab3BF2G1tQP94AS BXWSqyFijgRwcOIorhMbQh1TXSitTF3F3EeyMplcMpBrjuO60n62EYf+zWdecASXa0h75P iF+/GbmXqGU1sXDDS1lrD/qobuX+wEnrqq+KkaiiGa5kY4M4Jjl9TciO1VoWUjxRKajBH9 awAAAANnaXQAAAAAAAAABnNoYTUxMgAAAZQAAAAMcnNhLXNoYTItNTEyAAABgHIh7Fxqc/ 7d7oxjFRHkxMkh63jx7+j65aydYSKhvMJuWK6asdBVCjpt0inKwlJGmfANKKkK9qygqa+N dZS8prAyPPZiHTIImb4fCHlKWbpcDF3zEGHJp+eQ3X01+lyEdE0Uirc3TJ3jkdt5I5e8Wh hxBOUXq6vv5Tuow9lH3Vd04JXxlU3+/p/KZHT6tjHzLQyf54eg/e9fmFXEy2D/JdY1So8F 5H90GVyn5/WLnXdJPP+TuiEeGqQ9dvdgBCerH+KgkvwAZPZ3E7/IubJeL7AkGXBn8of4Y6 cyceMJLPKqWfHnNTuaveVcaivxWc0/KTEnM1EXQRsFhcz2LZGMQWI1CCCGqFqh4iGqErpI Jntlt3zdPx7t9OfmwU83VoEGymOZDpjQ6IIDOuyYwCn55+DSc+CKaOYItkLprFH8ZWQNrZ LrLQ6N7Dn+ZJy0CM2r8zoe9eMmQjCUjtHPdgVpZzo48wZielbaQ/Mu9aC0zCl9RyGF/Iyo BkG2S/4DDRxpGA== -----END SSH SIGNATURE-----