- ๐ Hi, Iโm @gokulhari
- ๐ Iโm interested in computational fluid mecahnics, runtime verification, and formal methods
- ๐ฑ Iโm currently learning formal methods
- ๐๏ธ Iโm looking to collaborate on anything
- ๐ซ How to reach me - [email protected]
gokulhari / z3projectexample Goto Github PK
View Code? Open in Web Editor NEWExample for a question posted in stack overflow