3 ms·QED Manifesto3 points by bibyte 8y agoheadalgorithm 8y agoSee https://www.cs.ru.nl/~freek/qed/qed.html https://www.cs.ru.nl/~freek/qed/qed.html for the actual manifesto. It is a shame the project never got off the ground.