2026-04-17 Archiv

Prove it or lose it.

  • 2026-04-17

I get the idea of code owners now because suddenly I want to have Lemma and Theorem owners in collaborative writing and proving.