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. I read all mail and usually respond (well, based on the spare free time I have :-)).