Finite Field
30-sec diagnosis
NPA

Packages Directory

Explore mathematical packages verified by Nano Proof Auditor. Click on a package to see module listings, trust boundaries, and verification audits.

npa-mathlib

Public theorem-library package for NPA mathlib analysis implicit-function closure.

Version
0.1.27
License
Apache-2.0
Modules
61
Theorems
750

npa-std

Legacy compatibility npa standard-library fixture for SRA-02.

Version
0.1.0
License
MIT
Modules
2
Theorems
0