Text Generation
Transformers
GGUF
English
lean4
theorem-proving
formal-mathematics
conversational
File size: 135 Bytes
9c548f9
 
 
1
2
3
4
version https://git-lfs.github.com/spec/v1
oid sha256:07063ba9f2a4a33559fc9b94d1684774cacfd71d667ad10eff0a6758e1467889
size 4088460224