π-Base
Issue templates #489
StevenClontz
started this conversation in
Ideas
Issue templates
#489
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
I've created an issue template at https://github.com/pi-base/data/blob/main/.github/ISSUE_TEMPLATE/new-theorem-suggestion.md that will prompt contributors opening an issue to provide info on a new theorem they would like to see in the pi-Base. Feedback? Ideas for other templates?
Beta Was this translation helpful? Give feedback.
All reactions