Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets
  • 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

Kai9987kai
/
CROSSWIRE

Model card Files Files and versions
xet
Community
CROSSWIRE / tools
60.2 kB
Ctrl+K
Ctrl+K
  • 1 contributor
History: 1 commit
Kai9987kai's picture
Kai9987kai
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4
450ac2f verified 4 days ago
  • check_distribution.py
    8.04 kB
    Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4 4 days ago
  • check_latex.py
    3.59 kB
    Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4 4 days ago
  • check_workbench.cjs
    33.7 kB
    Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4 4 days ago
  • report.py
    14.9 kB
    Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4 4 days ago