Update Satore scribblings

Metaxal · derpson · commit 53326fec2e77 · 2021-03-26T09:52:09.000Z
PiperOrigin-RevId: 363925586
diff --git a/satore/scribblings/satore.scrbl b/satore/scribblings/satore.scrbl
@@ -1,5 +1,5 @@
 #lang scribble/manual
 
-@title{First-order logic saturation with atomic rewriting}
+@title{First-order logic saturation with atom rewriting}
 
-See the @hyperlink["https://link-to-readme"]{readme}.
+See the @hyperlink["https://github.com/deepmind/deepmind-research/tree/master/satore"]{readme}.
