NPAへ戻る
Module
Std.Nat.Basic
npa-std
Packages
2
Module
63
Theorem
750
Declarations
1016
信頼境界外の sidecar
Source text や表示 overlay は提示用メタデータです。信頼する証拠は署名済み証明書と checker の結果です。
Theorem
0
Definition
0
Inductive type
1
Axiom
0
Declarations
Hashes
- source
- sha256:6e285573814d0eb4f6d658ff24127f5cfe0507b8b17d5b3f9b1b14a5bb641de6
- certificateFile
- sha256:d057dbc0e3c1e21649968eeaf882616602cfeb1f1cbb8393031c2010ea9596fb
- export
- sha256:30c432b4f2fc69e1e2414f556096e9d067d8e3d8e44f98bee1326169cccb5e4d
- axiomReport
- sha256:a1ef77782ab68d41aede3e412c79174432934c3cac66c319dd2d406cf514f40e
- certificate
- sha256:8a477f8d2becb4cfcb6a6baa1c79bc0112840cfe658302f47c9cf3dfd084d84e
Source
-- npa-std legacy package fixture v0.1.0
-- module: Std.Nat.Basic
-- producer_profile: std-library-legacy-core-builder
-- declarations: Nat
-- Source skeleton fixes import intent; certificate contents are built by Rust core-module builder.