The main advantage of Github is that everyone can watch all proofs and updates of the project.
Yesterday talked about this. we hope someone will make a competent independent audit of the code.
Waiting for code review too. Hope devs will use this opportunity for PR on English-speaking resources.
Don't mean to offend anyone, but it's not very healthy that we have the same bunch of people here in the post for weeks without any newcomers.