2024-09-09 Archiv

But how do I center a proof?

Unlike Gentzen, we can make use of css and javascript

Paperproof README