Transformers
GGUF
English
lean4
theorem-proving
formal-mathematics
conversational
File size: 136 Bytes
c0fdc5c
 
 
1
2
3
4
version https://git-lfs.github.com/spec/v1
oid sha256:14120708a2ceefde8ea7a0272b8bee5fe7e52aec3e6710f58107b5f970a123d5
size 15237854592