Text Generation
Transformers
GGUF
English
lean4
theorem-proving
formal-mathematics
conversational
File size: 135 Bytes
b73267d
 
 
1
2
3
4
version https://git-lfs.github.com/spec/v1
oid sha256:c6a895ba95fc84b358c05c9192817dfc5e664802e7d2cb33cdc417a0109c8b7e
size 3015941056