Data

Tools

Indexes

Applications

Experiments

Packages

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

natded

The package provides commands to typeset proofs in the style used by Jaśkowski, or that of Kalish and Montague.

Ecosystem
ctan.org
Latest Release
0.1
3 days ago
Versions
1
    Loading...
    Readme
    Loading...
    Links
    Registry ctan.org
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:ctan/natded
    spec
    License LPPL-1.3a
    First Release 3 days ago
    Last Synced 3 days ago
    Keywords
    proof