I would be happy to receive contributions and feedback on this tool, either as Github issues and pull requests, or the associated blog post. Examples of such contributions can include
- Bug reports and corrections
- Suggestions or submissions of exercises (or problems which are currently difficult to solve with the existing tactics and lemmas, but which can suggest new tactics and lemmas to implement)
- Suggestions or submissions for new tactics
- Suggestions or submissions for new lemmas
- Suggestions or submissions for new data types
- Suggestions or submissions of new user interfaces