Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
maciejpirog authored Oct 8, 2020
1 parent cd042d0 commit 43d88d9
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ The __grzb__ verifier implements both partial and total correctness rules of the

While programs are written in LISP-y syntax:

<img alt="Emacs in grzb mode" src="https://github.com/maciejpirog/grzb/blob/master/other/screenshot1.png" width="80%">
<img alt="Emacs in grzb mode" src="https://raw.githubusercontent.com/maciejpirog/grzb/master/other/screenshot1.png" width="90%">

In terminal:

Expand Down

0 comments on commit 43d88d9

Please # to comment.