Hugging Face model: kaiyuy/NLProofS
Author: kaiyuy
Created: 2023-07-03 04:01:32
Last modified: 2023-07-05 15:02:03
Likes: 1 | Downloads: 0
Tags: license:mit, region:us
Card metadata:
license: mit