Transformers
GGUF
English
lean4
theorem-proving
formal-mathematics
conversational
File size: 135 Bytes
1f502ab
 
 
1
2
3
4
version https://git-lfs.github.com/spec/v1
oid sha256:7d33ff0c815461c7cc22339c1da721797f32df4a7e7661118789b9f1ade3c7ef
size 4088460672