Warning: this repository only contains generated files

The sources of the book are in https://github.com/hacspec/hax/tree/main/book Please file issues, and push PRs to https://github.com/hacspec/hax.