Skip to content
Open-Source Registry

cargo / bourbaki-engine

bourbaki-engine 0.2.1

bitbison: clean, behavior clean, dependencies clean, posture not checked, pipeline clean, 1 of 1 jobs captured clean
processes
422
operations
7.7K
packages
23
compiler runs
28
connections
1
job time
53s
capture
104 KB
records
14K
bytes / record
7.6

A proof checker for Bourbaki's Theory of Sets: proofs are written the way the book writes them and checked down to the axioms

Build behaviourhas a build script

23 downloads · MIT · published 2026-10-13 · source · home page · crates.io mathematicslogicproof-checkerset-theorybourbaki

Artifact

file · retained · product · graph v2
3

Checks

14 of 14 clear
Build behavior✓✓✓✓✓✓✓✓
Supply chain✓✓✓✓✓
Pipeline✓

Detections

0

No detections

No abnormal activity detected across 7.7K flows.

Network

1 peers
  • static.crates.io:8080 the package manager · cargo (bourbaki-engine) via crates.io · 718 files · went into an output ecosystem
Dependencies23Build behaviour
ariadne0.6.0
crossbeam-channel0.5.17
crossbeam-utils0.8.23build script
itoa1.0.18
ld-linux-x86-64.so.2system library
libc.so.6system library
libgcc_s.so.1system library
libm.so.6system library
libmvec.so.1system library
log0.4.34
lsp-server0.10.0
memchr2.8.3
proc-macro21.0.107build script
quote1.0.47build script
serde1.0.229build script
serde_core1.0.229build script
serde_derive1.0.229proc macro
serde_json1.0.154build script
syn3.0.9
unicode-ident1.0.27
unicode-width0.2.2
yansi1.0.1
zmij1.0.23build script

Raw data

capture
104 KB
records
13,677
bytes per record
7.6

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-14 · run 1f5140b6-d49e-4626-969e-726d1f2af83b

analysis 0.1.0 · 2026-10-14 · efb1d7d · graph v2