Transformers
GGUF
English
lean4
theorem-proving
formal-mathematics
conversational
File size: 135 Bytes
42424fa
 
 
1
2
3
4
version https://git-lfs.github.com/spec/v1
oid sha256:bad40d7a420d4c541c0ec2dbc3f30423a9cab8cad3beee657ab041e3e11ca5b6
size 4250299776