Pinned Loading

1. rabuu/sheetstorm rabuu/sheetstorm Public

   A Typst template for assignment sheets

   Typst 20 1

2. Theseus Theseus Public

   A template for a university thesis or academic paper.

   Typst

3. DeDucktion/DeDucktion DeDucktion/DeDucktion Public

   A web-based natural deduction proof editor and checker for propositional logic.

   TypeScript 6