how do i join project groups

Stream: new members

[Shaun Modipane]

hey, i'm still new and i'm looking for for some lean projects i could take part in, any directions will be appreciated.

[Kevin Buzzard]

what are your interests?

[Shaun Modipane]

I see myself working in AI, capable of solving problems autonomously. Creating interactive math books & I'm looking for a new way of processing beyond the Turing structure.

[Huỳnh Trần Khanh]

Are you interested in verifying the correctness of computer programs?