[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
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.