Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

thrmappendix

An implementation of theorems, lemmas, etc., that permits them to be repeated, with their proofs, in an appendix.

Ecosystem
ctan.org
Versions
0
    Loading...
    Readme
    Loading...
    Links
    Registry ctan.org
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:ctan/thrmappendix
    spec
    License GPL-2.0-only
    Last Synced 3 days ago
    Keywords
    appendix maths-theorem defer-stuff