概要メトリクス
総パッケージ数
2
総モジュール数
63
検証成功モジュール
61
総 declaration 数
1016
監査カバー率ステータス
検証成功率
96.8%
宣言の内訳
- 定理
- 750
- 定義
- 210
- インダクティブ型
- 18
- 公理
- 38
論理的健全性レポート
NPAは数学的論理の一貫性を保証します。ホワイトリスト登録された公理は、標準的な論理規則（選択公理、命題外延性など）を表します。未検証のカスタム公理が注入された場合、ポリシー違反としてアラートが表示されます。
素晴らしい！登録されているパッケージの中に公理ポリシー違反は検出されませんでした。