QED - Home page moved (slightly)
For convenience, Version 2.4 of QED moved the home page from—
https://teorth.github.io/QED/QED.html to
https://teorth.github.io/QED/
This page will automatically redirect you in 20 seconds. Update your bookmarks, etc.