Hi all,I want to start contribute to Debian Science (especially maths and logic). What are all the ways I can contribute to this team?
Where should I get started? What are the preferred resources for learning Debian packaging and maintenance?
I have some experience in working with Lean and coq if that counts for anything :))
Thank you Shobhit