post project before pull?

Stream: new members

[Jeffrey Camlin]

Hi the guide said its good to post something about your project to Zulip before a pull, is that normal or do i setup a project folder? thanks!

[Eric Wieser]

I think this is in the context of contributing to Mathlib; is that what you're trying to do, or are you just trying to set up a personal project?

[Jeffrey Camlin]

Already have a project looking to contribute while i proof the math. Its a new kind of numerical solver.