Online Z3 Guide (2022.6 - 2022.9)
I implemented the Online Z3 Guide, a 100% client-side web-based programming/learning environment for Z3 during my Research Internship this summer (2022) at Microsoft Research, working with Ayana Monroe, Dr. Nikolaj Bjorner and Dr. Peli de Halleux. The development of Z3Guide adopted an iterative design, and has been well perceived by teachers and learners of Z3. It is also a first step towards reviving rise4fun, a legacy web environment for research tools developed at RiSE @ MSR. See my fork of the version concluded at the end of my internship, or here for the most recent official Z3Guide.