|
|
|
|
|
|
by rocqua
183 days ago
|
|
|
I had a look, and it seems cool. But it doesn't seem to do the thing I love about Kani: work with only very partial annotations, only proving the annotations and being a very light lift on code not relevant for the annotations. |
|
|