🤖 Sync org-wide files to upstream repo - Githubissues

exercism / z3

Exercism exercises in Z3.

https://exercism.org/tracks/z3

MIT License

8 stars 13 forks source link

🤖 Sync org-wide files to upstream repo #71

Closed exercism-bot closed 3 years ago

exercism-bot commented 3 years ago

More info: https://github.com/exercism/org-wide-files/commit/784d161f18fcee93c93bb28e723f2444a4f9ef4a