Nano Proof Auditorによって検証された数学パッケージを探索します。パッケージをクリックすると、モジュール一覧、信頼の境界、および検証監査が表示されます。
npa-mathlib
Public theorem-library package for NPA mathlib analysis implicit-function closure.
npa-std
Legacy compatibility npa standard-library fixture for SRA-02.
