Hugging Face's logo

callensxavier
/
leanflow-mechanized-t-duality-k3t2

Feature Extraction
string-theory
t-duality
k3-surface
lean4
formal-verification
topological-data-analysis
double-field-theory
supergravity
neuro-symbolic
stiff-solvers
bdf-method
vacuum-decay
tachyon-condensation
arxiv
Model card Files
xet
 Community
New discussion

Welcome to the community

The community tab is the place to discuss and collaborate with the HF community!