September 2024 Archiv

But how do I center a proof?

  • 2024-09-09

Unlike Gentzen, we can make use of css and javascript

Paperproof README

Wir haben es nicht gut gemacht.

  • 2024-09-02

Es tut mir leid, Ingeborg und Max, aber ich kann nicht widerstehen euch zu zu lesen.