Transformers
GGUF
English
lean4
theorem-proving
formal-mathematics
conversational
File size: 135 Bytes
712768e
 
 
1
2
3
4
version https://git-lfs.github.com/spec/v1
oid sha256:f45b2215bedb8041f7e239446c119b11f0768c8cb4573b201d07a099fdfd27ce
size 3015941504