Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@Dayveed117
Dayveed117 authored Jan 3, 2023
1 parent 6314e37 commit 9e7e3f7
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

This is the README for Whylson-Connector, a VS Code extension enabling formal verification of LIGO smart contracts through the use of WhylSon ([repository](https://gitlab.com/releaselab/fresco/whylson), [academic paper](https://arxiv.org/abs/2005.14650)), a deductive program verification tool based on Why3.

![usage gif](/resources/features1.gif)
![usage gif](https://github.com/Dayveed117/vscode-whylson-connector/blob/master/resources/features1.gif)

## Features

Expand Down

0 comments on commit 9e7e3f7

Please sign in to comment.