NPAへ戻る
Module
Std.Logic.Eq
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:347698ca0bc89aca3e76390d960bec805853015352dc93386fbbf7b4d710ea55
- certificateFile
- sha256:7aa25a1adf44de35cdaaa514484c1220fec0e543d3f65803805b5e6efc5b36a1
- export
- sha256:b78b442d5f593458cc12f079b59e3c70259c0bec4967511e1a01d262d2f0e874
- axiomReport
- sha256:a1ef77782ab68d41aede3e412c79174432934c3cac66c319dd2d406cf514f40e
- certificate
- sha256:5a5b68a51b3e90223f1e0cca730f8b155c79f881b9dca70d67e6bf10058054aa
Source
-- npa-std legacy package fixture v0.1.0
-- module: Std.Logic.Eq
-- producer_profile: std-library-legacy-core-builder
-- declarations: Eq
-- Source skeleton fixes import intent; certificate contents are built by Rust core-module builder.