# Contributing to curve25519-dalek-verify

We can all benefit in many ways from interacting with each other! 
Contributions are very welcome. 

For efficiency it's useful to read the info about the project on the [project page](https://beneficial-ai-foundation.github.io/curve25519-dalek-lean-verify/) and get in contact with us (contact us through Zulip or whatever means you prefer).

Repo contributions follow the standard fork and PR method. 
For Lean code style and PR style we mostly follow the Mathlib conventions but prioritize achievements a bit more and prioritize code perfection a bit less.