Transformers
GGUF
English
lean4
theorem-proving
formal-mathematics
conversational
File size: 135 Bytes
9eff718
 
 
1
2
3
4
version https://git-lfs.github.com/spec/v1
oid sha256:1d41fa0af170ece784043e53e732a592772ff256e592dd4efca02537c927d551
size 5444832640