GSOC 2019

[Aarti Kashyap <kaar...@xxxxxxxxx>]

Hello 

I am interested in contributing to tlasplus as a part of GSOC 2019. I am aware that the organizations have not been released yet. However, where can I get started?

I looked at the following page: https://github.com/tlaplus/tlaplus/blob/master/general/docs/contributions.md

Are there any changes to the projects. Also can someone please point out where can I get started, just to see if I will be comfortable working on this.

I am a grad student from the University of British Columbia, Vancouver.