Skip to content

Commit

Permalink
Update README.md with a link to the developer docs
Browse files Browse the repository at this point in the history
  • Loading branch information
@bobismijnnaam
bobismijnnaam authored Nov 19, 2024
1 parent 14eefb2 commit 456ba48
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,8 @@ A list of verified examples and case studies is maintained online and can be fou

### The tutorial can be found on the [VerCors Wiki](https://github.com/utwente-fmt/vercors/wiki)!

### If you're planning on _contributing_, please have a look at our [Developing for VerCors](https://github.com/utwente-fmt/vercors/wiki/Developing-for-VerCors) page.

# Installation
You can install VerCors by either using a release (recommended for beginners), or by building VerCors from its source code.

Expand Down

0 comments on commit 456ba48

Please sign in to comment.