This meetup will be an online meeting instead of the in person meeting.
• What we'll do
Learners and complete Python novices are welcome as well as experts. If you want to start something new, please see this as an opportunity to jump start the project. If you need help with an existing coding project, bring it with you and we will have a look at it. If you want to show your complete code to someone else to test it, or if you just want to consult with python experts you are welcome.
The format will be different than regular
6:30 we will start the meeting. Here is a link to join:
This link may change, so please check this link again before the meeting
7: Announcement + Demo
Around 7:30 continue discussions or break into smaller groups.
Although this online meeting is different, for those new to this meetup, please check out previous meetups we had to get an idea of what to expect. Here is a link to previous meetups:
You will find there demo code and the folk who presented them, Feel free to clone and star demos that were useful to you.
• Important to know
Our focus for this month will be: Z3 theorem prover