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
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up

Spaces:
karlexmarin
/
taf-agent
Running

App Files Files Community
3
taf-agent / js
Ctrl+K
Ctrl+K
  • 3 contributors
History: 25 commits
karlexmarin's picture
karlexmarin
v0.6: TAF Card hero+accordion UI + γ_check + Lean+Mathlib badges
28ac122 about 1 month ago
  • gamma_check.js
    2.37 kB
    v0.6: TAF Card hero+accordion UI + γ_check + Lean+Mathlib badges about 1 month ago
  • i18n.js
    168 kB
    v0.6: TAF Card hero+accordion UI + γ_check + Lean+Mathlib badges about 1 month ago
  • lean_badges.js
    5.97 kB
    v0.6: TAF Card hero+accordion UI + γ_check + Lean+Mathlib badges about 1 month ago
  • main.js
    90.3 kB
    v0.6: TAF Card hero+accordion UI + γ_check + Lean+Mathlib badges about 1 month ago
  • phase_diagram.js
    8.19 kB
    feat(ui): add Diagnose CLI builder + Phase Diagram viewer modes about 2 months ago