Mirrors_Framework/deepmind-research
1
0
Fork 0
mirror of https://github.com/google-deepmind/deepmind-research.git synced 2026-05-09 12:37:43 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

Update Satore scribblings

Browse Source 
PiperOrigin-RevId: 363925586
This commit is contained in:
Laurent Orseau
2021-03-19 17:53:27 +00:00
committed by Louise Deason
parent 0a46c8eec0
commit 53326fec2e
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
satore/scribblings/satore.scrbl
+2 -2
View File
@@ -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}.