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.
hacspec/book
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
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.