Avinash Joshi (avinashjoshi)
- Member Since
- February 24, 2010 (2 years)
- Website
- http://avinashjoshi.co.in
- Location
- Bengaluru, India
- Occupation
- Student
- Interests
- Formal Methods, GNU/Linux, Cyber/Network Security
User Activity
Recent Replies
- [TLA+ Toolbox] Multiple tla Tabs - User last replied: 1 year ago | Most recent reply: 3 weeks ago
Topics Started
- [TLA+ Toolbox] Multiple tla Tabs - Started: 1 year ago | Most recent reply: 3 weeks ago