Dear All,recently there was a case where two persons were working on the same topic independently (in Mizar, of course). To avoid such situations in the future I would propose to make a special page with a list of works under processing. If you do not mind please send me a short description of your Mizar works. I will create and be maintaining the page.
Greetings Artur