Transformers
GGUF
English
lean4
theorem-proving
formal-mathematics
conversational
File size: 135 Bytes
983f4c4
 
 
1
2
3
4
version https://git-lfs.github.com/spec/v1
oid sha256:a2f3c4a08c48ad3443b924514e602ac0d6ad3125440d5d345fce7e02473dfeaf
size 4457770368