3 Commits

Author	SHA1	Message	Date
Jennifer	2f1aef17cc	Update proving-issues.md	2021-02-08 15:32:09 -05:00
Jennifer	8dcc008135	Update .github/ISSUE_TEMPLATE/proving-issues.md ... Co-authored-by: Łukasz Magiera <magik6k@users.noreply.github.com>	2021-02-08 15:19:53 -05:00
Jennifer	bdb85d6115	Update issue templates	2021-02-06 16:23:25 -05:00