Transformers
GGUF
English
lean4
theorem-proving
formal-mathematics
conversational
File size: 135 Bytes
8d9dfb6
 
 
1
2
3
4
version https://git-lfs.github.com/spec/v1
oid sha256:4b02e1c05e550cb95291a28ae2ed53375c47e89f6388e78f1d22a6a753939055
size 4683074944