Transformers
GGUF
English
lean4
theorem-proving
formal-mathematics
conversational
File size: 135 Bytes
6cbe640
 
 
1
2
3
4
version https://git-lfs.github.com/spec/v1
oid sha256:d66168bd89b9e679577ae812db9b4cb0418bde0c5ad39068d0d8febd4eaf6323
size 5315177856