Hugging Face's logo

Spaces:
karlexmarin
/
taf-agent
Running

App Files Community
taf-agent / js /lean_badges.js

Commit History

v0.6: TAF Card hero+accordion UI + γ_check + Lean+Mathlib badges
28ac122

karlexmarin Claude Opus 4.7 (1M context) commited on