3 ms·

See 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 gro

See 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.