Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / Jinwen-XU/create-theorem issues and pull requests
#7 - Highlight the necessity of a backend
Issue -
State: open - Opened by dbitouze over 1 year ago
- 1 comment
Labels: documentation
#6 - Standard set of theorems
Issue -
State: open - Opened by dbitouze over 1 year ago
- 2 comments
Labels: enhancement
#5 - Configuring the theorem names per language instead of per environment
Issue -
State: closed - Opened by Jinwen-XU over 2 years ago
Labels: enhancement
#4 - Check whether external commands involved are defined
Issue -
State: closed - Opened by atxy-blip over 2 years ago
- 1 comment
Labels: enhancement
#3 - QED symbol compatibility with amsthm
Issue -
State: closed - Opened by atxy-blip over 2 years ago
- 5 comments
Labels: bug
#2 - Two counter aliasing utilities
Issue -
State: open - Opened by muzimuzhi over 2 years ago
- 6 comments
Labels: bug
#1 - Providing interface for setting up QED symbol
Issue -
State: closed - Opened by atxy-blip over 2 years ago
- 3 comments
Labels: enhancement