libcrux
libcrux copied to clipboard
feat(docs): CONTRIBUTING.md: add guidelines for hax
This PR adds guidelines for hax.
Sounds good to me, thank you!
What's the state here? Shall we get this in?
This PR has been marked as stale due to a lack of activity for 60 days. If you believe this pull request is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.