Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / yforster/coqtheorem issues and pull requests
#7 - Add Example/Remark env to LIPICS style
Pull Request -
State: closed - Opened by emiquey over 5 years ago
- 2 comments
#6 - coqitem in itemize generates numbers
Issue -
State: open - Opened by JonasOberhauser over 5 years ago
#5 - Improve LIPIcs / cleveref compatibilty
Pull Request -
State: closed - Opened by chdoc over 5 years ago
- 1 comment
#4 - cref seems to be incompatible
Issue -
State: open - Opened by JonasOberhauser over 5 years ago
- 6 comments
#3 - align* in LIPIcs
Issue -
State: closed - Opened by JonasOberhauser over 5 years ago
- 1 comment
#2 - \coqitem doesn't support \labels
Issue -
State: open - Opened by ghost over 6 years ago
#1 - Chaning counter names and providing autorefnames for hyperref
Pull Request -
State: closed - Opened by sigurdschneider over 7 years ago
- 1 comment