To keep being up to date on QED latest news, you may follow QED Reddit space (r/qedlang) or Twitter account (qedlang).

You may contact me (Martin Savage) at qedlang@gmail.com for any inquiry related to QED. Please expect a response within a day or two.