Skip to content

Commit ec89c90

Browse files
hamousavihamousavi
committed
Update README.md
1 parent 5edf695 commit ec89c90

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎README.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
# Walnut
22
Automated Theorem Prover for Automatic Words </br>
3-
Please read the pdf file included in the repository to learn what Walnut is, and how one would work with it.
3+
Please read the pdf file, included in the repository, to learn what Walnut is and how one would work with it.

0 commit comments

Comments
 (0)