Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing
    • Website
      • Tasks
      • HuggingChat
      • Collections
      • Languages
      • Organizations
    • Community
      • Blog
      • Posts
      • Daily Papers
      • Hardware
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up

Snapkitty
/
bob-reasoning

Model card Files Files and versions
xet
Community
bob-reasoning / rust
31.9 MB
Ctrl+K
Ctrl+K
  • 1 contributor
History: 2 commits
SNAPKITTYWEST's picture
SNAPKITTYWEST
Add BOB reasoning engine: Metatron JS, APL, Lean4 theorems, Rust meta_resonance, universal-corpus, knowledge-chunks
ffd375a verified 6 days ago
  • src
    Add BOB reasoning engine: Metatron, APL, Lean4, Rust, universal-corpus, knowledge-chunks 6 days ago
  • target
    Add BOB reasoning engine: Metatron JS, APL, Lean4 theorems, Rust meta_resonance, universal-corpus, knowledge-chunks 6 days ago
  • Cargo.lock
    2.8 kB
    Add BOB reasoning engine: Metatron JS, APL, Lean4 theorems, Rust meta_resonance, universal-corpus, knowledge-chunks 6 days ago
  • Cargo.toml
    292 Bytes
    Add BOB reasoning engine: Metatron, APL, Lean4, Rust, universal-corpus, knowledge-chunks 6 days ago