Logic and arithmetic
The source npa-site package describes npa-std as the standard logical and arithmetic primitives package for Nano Proof Auditor.
Back to NPA
NPA package
npa-std: the standard package path for NPA primitives.
The URL strategy reserves /npa/std/ for the standard logic and arithmetic package. This page preserves the source npa-site package framing while placing npa-std inside the main NPA URL family.
Package role
A short URL for the NPA standard package.
npa-std contains the standard package area for logical and arithmetic primitives. The page explicitly documents the /npa/std/ policy so it does not drift toward /oss/ or a redundant package slug.
Reserved path
/npa/std/ is the preferred path. It is shorter than /npa/npa-std/ and clearer than placing the package under /oss/.
Small package surface
The source catalog currently exposes two standard modules and no theorem entries for this package.
Same audit workflow
The standard package keeps the same certificate audit and package policy commands as the rest of the NPA package family.
Exported modules
Modules reserved for standard primitives.
This compact module list reflects the npa-site catalog. It is intentionally small and can expand without changing the URL policy.
Module
Theorems
Imports
Status
Std.Logic.Eq
/pkg/Std/Logic/Eq/
Theorems: 0
Imports: 0
untrusted
Std.Nat.Basic
/pkg/Std/Nat/Basic/
Theorems: 0
Imports: 0
untrusted
Auditing
Audit the standard package with NPA commands.
The commands mirror the npa-site package workflow, scoped to the npa-std checkout.
Audit certificates
npa package verify-certs --root ../npa-std --checker reference --jsonCheck policy
npa package check --root ../npa-std --jsonRelated NPA pages