Contact#
Bugs belong in issues, fixes in pull requests, and everything else in an email.
Issues
Found a bug?
Open a GitHub issue for a wrong reference, a tolerance that rejects a correct implementation, or a problem in these docs. Include the inputs and your exactref version.
Open GitHub issuesPull requests
Want to fix something?
Send a pull request for code, proofs or documentation.
Open GitHub pull requestsEverything else
Anything else
Questions, private matters, or anything that is not an issue or a pull request: send an email.
kris@krisbailey.com