Hugging Face model: BarbaraMMM/isabelle_result
Author: BarbaraMMM
Created: 2023-11-04 10:19:03
Last modified: 2023-11-04 14:07:46
Likes: 0 | Downloads: 0
Tags: region:us
Card metadata: