Transformers
GGUF
English
lean4
theorem-proving
formal-mathematics
conversational
File size: 135 Bytes
2a2b329
 
 
1
2
3
4
version https://git-lfs.github.com/spec/v1
oid sha256:621d754f608a60da2f9f897e10389819f08c81fd29194cf4a48688e848852391
size 3808392576