Snapkitty
/

bob-reasoning

sovereign-compute

formal-verification

Model card Files Files and versions

bob-reasoning / rust /target /debug /build /generic-array-33728c9122d1617d /output

SNAPKITTYWEST's picture

Add BOB reasoning engine: Metatron, APL, Lean4, Rust, universal-corpus, knowledge-chunks

dfd38de verified 4 months ago

Raw History Blame Contribute Delete

35 Bytes

	cargo:rustc-cfg=relaxed_coherence