Transformers
GGUF
English
lean4
theorem-proving
formal-mathematics
conversational
File size: 135 Bytes
42dbc59
 
 
1
2
3
4
version https://git-lfs.github.com/spec/v1
oid sha256:0e8b50d29faca44899e5a7d309c6b912a419f0fd0a5ee1d19fe1cfa3f772d18a
size 3492369792