Warning: this book is currently being rewritten!
hax is the successor of hacspec. You can find the previous book describing hacspec here, but keep in mind most of the information there is outdated.
hax is the successor of hacspec. You can find the previous book describing hacspec here, but keep in mind most of the information there is outdated.