Skip to content

Commit

Permalink
Added link to tutorial lectures
Browse files Browse the repository at this point in the history
  • Loading branch information
@saseshia
saseshia committed Nov 14, 2024
1 parent 86f2248 commit 25674dd
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,9 @@ For bug reports, first preference is for you to file a GitHub issue. For help us

## UCLID5 Tutorial/Publication

The [tutorial](https://github.com/uclid-org/uclid/blob/master/tutorial/tutorial.pdf) has a gentle introduction to using UCLID5.
The [tutorial document](https://github.com/uclid-org/uclid/blob/master/tutorial/tutorial.pdf) has a gentle introduction to using UCLID5.

A set of tutorial lectures on UCLID5 can be found [here](https://people.eecs.berkeley.edu/~sseshia/uclid5-tutorial/).


## Versions
Expand Down

0 comments on commit 25674dd

Please sign in to comment.