GitHub repository: microsoft/z3guide
Primary language: JavaScript
Description: Tutorials and courses for Z3