model-checking / verify-rust-std

Verifying the Rust standard library
https://model-checking.github.io/verify-rust-std/
Other
9 stars 7 forks source link

Fix challenge numbers and move to challenges/ dir #22

Closed celinval closed 1 month ago

celinval commented 1 month ago

The challenges numbers in the index are being counted as a new chapter. Instead convert "Challenges" into a chapter, and add a little blob for the challenges chapter, since mdbook requires all chapters to be a page.

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.