Skip to content

Commit 9b05dd1

Browse files
committed
update README
1 parent d5a5fb8 commit 9b05dd1

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -55,7 +55,7 @@ $ cargo build --release
5555
### Simple Example
5656
- [Text-Proof](example/text-proof/README.md) - You can create simple proofs.
5757

58-
### [see tutorial](docs/tutorial.md)
58+
### [Tutorial](docs/tutorial.md)
5959
### Usage
6060
```bash
6161
# run

0 commit comments

Comments
 (0)