See https://www.cs.ru.nl/~freek/qed/qed.html for the actual manifesto.

It is a shame the project never got off the ground.