Skip to content

Commit

Permalink
Update README
Browse files Browse the repository at this point in the history
  • Loading branch information
@sarsko
sarsko committed Apr 10, 2024
1 parent 0c2832c commit b36aacd
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -83,6 +83,7 @@ There are a bunch of tests in the [Creusot repository](https://github.com/xldeni
You could also check out [Friday](/Friday/) and [Robinson](/Robinson/) for a couple of verified solvers
which are both easier to grok algorithmically and proof-wise.

Oh, and yeah, read the [thesis](/SarekSkot%C3%A5m_thesis.pdf/). You don't have to read the whole thing, but it has a pretty good introduction to Creusot, program verification, and SAT solving. At least I think it is pretty good, and I've also gotten feedback from people not all that familiar with these kinds of things that it is fairly accessible.

## Overview of the repository

Expand Down

0 comments on commit b36aacd

Please sign in to comment.