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