Closed celinval closed 1 month ago
Fix the book script and add a little blob to the Kani page.
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
Fix the book script and add a little blob to the Kani page.
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.