Skip to content
Open-Source Registry

cargo / mathscape-proof

mathscape-proof 0.1.13

bitbison: clean, with notes, behavior clean, dependencies notes, posture not checked, pipeline clean, 1 of 1 jobs captured RisknoneVulnsnone
processes
276
operations
49K
packages
301
compiler runs
28
connections
1
job time
2m 10s
capture
654 KB
records
89K
bytes / record
7.4

Proof construction, verification, composition, Lean 4 export

Build behaviourcompiled C/C++

136 downloads · MIT · published 2026-10-16 · source View on crates.io

Artifact

file · retained · product · graph v2
1

Checks

13 of 14 clear Build-time dependency advisories
Build behavior✓✓✓✓✓✓✓✓
Supply chain✓▲✓✓✓
Pipeline✓

Detections

0

No detections

No abnormal activity detected across 49K flows.

Network

1 peers
  • static.crates.io:8080 the package manager · cargo (mathscape) via crates.io · 13,795 files · went into an output ecosystem
Dependencies319Build behaviour
ahash0.7.8build script, not run
aho-corasick1.1.4
aliasable0.1.3
allocator-api20.2.21
android_system_properties0.1.5
anstream0.6.21
anstyle1.0.13
anstyle-parse0.2.7
anstyle-query1.1.5
anstyle-wincon3.0.11
arrayref0.3.9
arrayvec0.7.6
async-stream0.3.6
async-stream-impl0.3.6proc macro
async-trait0.1.89proc macro
atoi2.0.0
autocfg1.5.0
base640.22.1
base64ct1.8.3
bigdecimal0.4.10build script
bincode1.3.3
bitflags2.11.0
bitvec1.0.1
blake31.8.3build script
block-buffer0.10.4
borsh1.6.0build script, not run
borsh-derive1.6.0proc macro
bumpalo3.20.2
bytecheck0.6.12build script, not run
bytecheck_derive0.6.12proc macro
byteorder1.5.0
bytes1.11.1
cc1.2.56
cfg-if1.0.4
cfg_aliases0.2.1
chrono0.4.44
clap4.5.60
clap_builder4.5.60
clap_derive4.5.55proc macro
clap_lex1.0.0
colorchoice1.0.4
concurrent-queue2.5.0
const-oid0.9.6
constant_time_eq0.4.2
core-foundation-sys0.8.7
cpufeatures0.2.17
crc3.4.0
crc-catalog2.4.0
crossbeam-queue0.3.12
crossbeam-utils0.8.21build script
crypto-common0.1.7
darling0.20.11
darling_core0.20.11
darling_macro0.20.11proc macro
der0.7.10
deranged0.5.8
derive_more2.1.1
derive_more-impl2.1.1proc macro
digest0.10.7
displaydoc0.2.5proc macro
dotenvy0.15.7
either1.15.0
equivalent1.0.2
errno0.3.14
etcetera0.8.0
event-listener5.4.1
find-msvc-tools0.1.9
flume0.11.1
fnv1.0.7
foldhash0.1.5
form_urlencoded1.2.2
funty2.0.0
futures0.3.32
futures-channel0.3.32
futures-core0.3.32
futures-executor0.3.32
futures-intrusive0.5.0
futures-io0.3.32
futures-sink0.3.32
futures-task0.3.32
futures-util0.3.32
generic-array0.14.7build script
getrandom0.2.17
glob0.3.3
hashbrown0.12.3
hashbrown0.15.5
hashbrown0.16.1
hashlink0.10.0
heck0.4.1
heck0.5.0
hex0.4.3
hkdf0.12.4
hmac0.12.1
home0.5.12
iana-time-zone0.1.65
iana-time-zone-haiku0.1.2build script, not run
icu_collections2.1.1
icu_locale_core2.1.1
icu_normalizer2.1.1
icu_normalizer_data2.1.1build script
icu_properties2.1.2
icu_properties_data2.1.2build script
icu_provider2.1.1
ident_case1.0.1
idna1.1.0
idna_adapter1.2.1
indexmap2.13.0
inherent1.0.13proc macro
is_terminal_polyfill1.70.2
itoa1.0.17
js-sys0.3.91
lazy_static1.5.0
ld-linux-x86-64.so.2system library
libc0.2.182build script
libc.so.6system library
libgcc_s.so.1system library
libm0.2.16build script
libm.so.6system library
libmvec.so.1system library
libredox0.1.14
libsqlite3-sys0.30.1build script, not run
litemap0.8.1
lock_api0.4.14
log0.4.29
matchers0.2.0
mathscape-core0.1.13
mathscape-migration0.1.13
mathscape-store0.1.13
md-50.10.6
memchr2.8.0
mio1.1.1
num-bigint0.4.6
num-bigint-dig0.8.6build script, not run
num-conv0.2.0
num-integer0.1.46
num-iter0.1.45
num-traits0.2.19build script
once_cell1.21.3
once_cell_polyfill1.70.2
ordered-float4.6.0
ouroboros0.18.5
ouroboros_macro0.18.5proc macro
parking2.2.1
parking_lot0.12.5
parking_lot_core0.9.12build script
pem-rfc74680.7.0
percent-encoding2.3.2
pgvector0.4.1
pin-project-lite0.2.17
pkcs10.7.5
pkcs80.10.2
pkg-config0.3.32
plain0.2.3
potential_utf0.1.4
powerfmt0.2.0
ppv-lite860.2.21
proc-macro-crate3.5.0
proc-macro-error-attr22.0.0proc macro
proc-macro-error22.0.1
proc-macro21.0.106build script
proc-macro2-diagnostics0.10.1build script
ptr_meta0.1.4
ptr_meta_derive0.1.4proc macro
quote1.0.45build script
radium0.7.0build script, not run
rand0.8.5
rand_chacha0.3.1
rand_core0.6.4
redb2.6.3build script
redox_syscall0.5.18
redox_syscall0.7.3
regex1.12.3
regex-automata0.4.14
regex-syntax0.8.10
rend0.4.2build script, not run
ring0.17.14build scriptprebuilt objects
rkyv0.7.46build script, not run
rkyv_derive0.7.46proc macro
rsa0.9.10
rust_decimal1.40.0build script
rustc_version0.4.1
rustls0.23.37build script
rustls-pki-types1.14.0
rustls-webpki0.103.9
rustversion1.0.22build script, not runproc macro
ryu1.0.23
scopeguard1.2.0
sea-bae0.2.1proc macro
sea-orm1.1.19
sea-orm-cli1.1.19
sea-orm-macros1.1.19proc macro
sea-orm-migration1.1.19
sea-query0.32.7
sea-query-binder0.7.0
sea-query-derive0.4.3proc macro
sea-schema0.16.2
sea-schema-derive0.3.0proc macro
seahash4.1.0
semver1.0.27
serde1.0.228build script
serde_core1.0.228build script
serde_derive1.0.228proc macro
serde_json1.0.149build script
serde_urlencoded0.7.1
sha10.10.6
sha20.10.9
sharded-slab0.1.7
shlex1.3.0
signal-hook-registry1.4.8
signature2.2.0
simdutf80.1.5
slab0.4.12
smallvec1.15.1
socket20.6.3
spin0.9.8
spki0.7.3
sqlx0.8.6
sqlx-core0.8.6
sqlx-macros0.8.6proc macro
sqlx-macros-core0.8.6
sqlx-mysql0.8.6
sqlx-postgres0.8.6
sqlx-sqlite0.8.6
stable_deref_trait1.2.1
static_assertions1.1.0
stringprep0.1.5
strsim0.11.1
strum0.26.3
subtle2.6.1
syn1.0.109build script, not run
syn2.0.117
synstructure0.13.2
tap1.0.1
tatara-lisp0.3.4
tatara-lisp-derive0.3.4proc macro
thiserror1.0.69build script
thiserror2.0.18build script
thiserror-impl1.0.69proc macro
thiserror-impl2.0.18proc macro
thread_local1.1.9
time0.3.47
time-core0.1.8
time-macros0.2.27proc macro
tinystr0.8.2
tinyvec1.10.0
tinyvec_macros0.1.1
tokio1.50.0
tokio-macros2.6.1proc macro
tokio-stream0.1.18
toml_datetime1.0.0+spec-1.1.0
toml_edit0.25.4+spec-1.1.0
toml_parser1.0.9+spec-1.1.0
tracing0.1.44
tracing-attributes0.1.31proc macro
tracing-core0.1.36
tracing-subscriber0.3.22
typenum1.19.0build script
unicode-bidi0.3.18
unicode-ident1.0.24
unicode-normalization0.1.25
unicode-properties0.1.4
unicode-xid0.2.6
untrusted0.9.0
url2.5.8
utf8_iter1.0.4
utf8parse0.2.2
uuid1.22.0
vcpkg0.2.15prebuilt objects
version_check0.9.5
wasi0.11.1+wasi-snapshot-preview1
wasite0.1.0
wasm-bindgen0.2.114build script, not run
wasm-bindgen-macro0.2.114proc macro
wasm-bindgen-macro-support0.2.114
wasm-bindgen-shared0.2.114build script, not run
webpki-roots0.26.11
webpki-roots1.0.6
whoami1.6.1
windows-core0.62.2
windows-implement0.60.2proc macro
windows-interface0.59.3proc macro
windows-link0.2.1
windows-result0.4.1
windows-strings0.5.1
windows-sys0.48.0
windows-sys0.52.0
windows-sys0.61.2
windows-targets0.48.5
windows-targets0.52.6
windows_aarch64_gnullvm0.48.5build script, not runprebuilt objects
windows_aarch64_gnullvm0.52.6build script, not runprebuilt objects
windows_aarch64_msvc0.48.5build script, not runprebuilt objects
windows_aarch64_msvc0.52.6build script, not runprebuilt objects
windows_i686_gnu0.48.5build script, not runprebuilt objects
windows_i686_gnu0.52.6build script, not runprebuilt objects
windows_i686_gnullvm0.52.6build script, not runprebuilt objects
windows_i686_msvc0.48.5build script, not runprebuilt objects
windows_i686_msvc0.52.6build script, not runprebuilt objects
windows_x86_64_gnu0.48.5build script, not runprebuilt objects
windows_x86_64_gnu0.52.6build script, not runprebuilt objects
windows_x86_64_gnullvm0.48.5build script, not runprebuilt objects
windows_x86_64_gnullvm0.52.6build script, not runprebuilt objects
windows_x86_64_msvc0.48.5build script, not runprebuilt objects
windows_x86_64_msvc0.52.6build script, not runprebuilt objects
winnow0.7.15
writeable0.6.2
wyz0.5.1
yansi1.0.1
yoke0.8.1
yoke-derive0.8.1proc macro
zerocopy0.8.40build script
zerocopy-derive0.8.40proc macro
zerofrom0.1.6
zerofrom-derive0.1.6proc macro
zeroize1.8.2
zerotrie0.2.3
zerovec0.11.5
zerovec-derive0.11.2proc macro
zmij1.0.21build script
Versions8RiskVulnsPublished
0.1.13nonenone1d ago
0.1.12not analyzed1d ago
0.1.11not analyzed1d ago
0.1.10not analyzed1d ago
0.1.9not analyzed1d ago
0.1.8not analyzed1d ago
0.1.7not analyzed1d ago
0.1.6not analyzed2d ago

Raw data

capture
654 KB
records
88,888
bytes per record
7.4

Loading a sample of the capture

Want to see more? E-mail us at hello@bitbison.io about your use case.

1 of 1 jobs captured: build-test success · Generated 2026-10-17 · run 3d3f70f9-2093-4055-9036-7e16ff00b0ea

analysis 0.1.0 · 2026-10-16 · e987d53 · graph v2