Hugging Face's logo

typeof
/
morph-prover-v0-7b-sharded

Text Generation
Transformers
Safetensors
English
mistral
math
lean
text-generation-inference
Model card Files
xet
Community
typeof commited on
Commit
f4d1c5d
·
1 Parent(s): 85f024c

Update README.md

Browse files
Files changed (1) hide show
  1. README.md +4 -0
README.md CHANGED
@@ -11,6 +11,10 @@ tags:
11
  # **morph-prover-v0-7b**
12
 
13
  ## This is the sharded version of https://huggingface.co/morph-labs/morph-prover-v0-7b
 
 
 
 
14
 
15
  ![banner](https://pbs.twimg.com/profile_images/1669255916980686848/mTW-mxbC_400x400.jpg)
16
 
 
11
  # **morph-prover-v0-7b**
12
 
13
  ## This is the sharded version of https://huggingface.co/morph-labs/morph-prover-v0-7b
14
+ ### Most recent commit [b6e98c1](https://huggingface.co/morph-labs/morph-prover-v0-7b/commit/b6e98c176ad3104acc063d69ab565c5a6f62c254)
15
+ <!--
16
+ b6e98c176ad3104acc063d69ab565c5a6f62c254
17
+ -->
18
 
19
  ![banner](https://pbs.twimg.com/profile_images/1669255916980686848/mTW-mxbC_400x400.jpg)
20