Snapkitty
/

bob-reasoning

sovereign-compute

formal-verification

Model card Files Files and versions

bob-reasoning / rust /target /debug /deps /libgeneric_array-39dbc3bd0202e859.rlib

Commit History

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

dfd38de
verified

SNAPKITTYWEST commited on about 1 month ago