Goedel-LM
/

Goedel-Prover-SFT

Model card Files Files and versions Community

linyongver commited on Feb 6

Commit

3ab452b

·

verified ·

1 Parent(s): 7a40b3e

Update README.md

Files changed (1) hide show

README.md +1 -1

README.md CHANGED Viewed

@@ -40,7 +40,7 @@ license: mit
   <a href="https://goedel-lm.github.io/"><b>Paper Link</b>👁️</a>
 </p>
-# Goedel-Prover: A New Frontier in Automated Theorem Proving
 ## 1. Introduction

   <a href="https://goedel-lm.github.io/"><b>Paper Link</b>👁️</a>
 </p>
+# Goedel-Prover: A New Frontier in Open-source Automated Theorem Proving
 ## 1. Introduction