Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / executablebooks/sphinx-proof issues and pull requests

#33 - 📚 DOCS: Additional documentation

Pull Request - State: closed - Opened by najuzilu over 4 years ago - 1 comment

#32 - ✨ NEW: Add `solution` directive

Pull Request - State: closed - Opened by najuzilu over 4 years ago - 16 comments

#31 - ✨️ NEW: Add MANIFEST file

Pull Request - State: closed - Opened by AakashGfude over 4 years ago - 2 comments

#30 - 👌️ IMPROVE: Update extras

Pull Request - State: closed - Opened by najuzilu over 4 years ago - 1 comment

#29 - 👌️ IMPROVE: Using upstream flake8

Pull Request - State: closed - Opened by AakashGfude over 4 years ago - 1 comment

#27 - Clicking on ref link leads to wrong location

Issue - State: open - Opened by jstac over 4 years ago - 6 comments

#26 - 👌️ IMPROVE: Add tox.ini

Pull Request - State: closed - Opened by najuzilu over 4 years ago - 8 comments

#25 - [ENH] Implement Github workflow

Pull Request - State: closed - Opened by najuzilu over 4 years ago - 7 comments

#24 - [STY] Remove `example` directive background color

Pull Request - State: closed - Opened by najuzilu over 4 years ago

#23 - [STY] Fixes #21: remove italics from proof

Pull Request - State: closed - Opened by najuzilu over 4 years ago

#22 - Plain background for examples?

Issue - State: closed - Opened by jstac over 4 years ago - 3 comments

#21 - Drop italics in proof body?

Issue - State: closed - Opened by jstac over 4 years ago - 2 comments

#20 - Miscellaneous edits

Pull Request - State: closed - Opened by najuzilu over 4 years ago

#19 - 👌️ IMPROVE: Review of test infrastructure

Pull Request - State: closed - Opened by AakashGfude over 4 years ago - 21 comments

#17 - Issue a new Release with Improvements

Issue - State: closed - Opened by mmcky over 4 years ago - 3 comments

#16 - [TEST] Add GitHub Actions CI

Pull Request - State: closed - Opened by najuzilu over 4 years ago - 6 comments

#15 - [STY] Update style of proof directive

Pull Request - State: closed - Opened by najuzilu over 4 years ago - 1 comment

#14 - Styling for "proof" too loud?

Issue - State: closed - Opened by jstac over 4 years ago - 3 comments

#13 - [DISC] Add `{proof}` as new role

Issue - State: open - Opened by najuzilu over 4 years ago - 4 comments

#12 - [ENH, DOC] Add `example`, `property`, `observation` and `proposition` directives

Pull Request - State: closed - Opened by najuzilu over 4 years ago - 1 comment

#11 - [FIX,TST] Fix math label in proof directive

Pull Request - State: closed - Opened by najuzilu over 4 years ago - 2 comments

#10 - [DISC] `proof:proof` has no label option

Issue - State: open - Opened by mmcky over 4 years ago - 2 comments

#9 - [DISC] `{proof:proof}` directive has `class` option?

Issue - State: closed - Opened by AakashGfude over 4 years ago - 1 comment

#8 - [DOC] document how this is different to sphinxcontrib-proof

Issue - State: open - Opened by mmcky over 4 years ago - 5 comments

#7 - [ENH] Support for all directive types

Issue - State: open - Opened by mmcky over 4 years ago - 8 comments

#6 - [ENH] Discussion of Syntax Choices

Issue - State: closed - Opened by mmcky over 4 years ago - 5 comments

#5 - [DOCS] add suggested changes for docs

Pull Request - State: closed - Opened by mmcky over 4 years ago

#4 - [DOC] Adding documentation for conjectures

Issue - State: closed - Opened by AakashGfude over 4 years ago - 4 comments

#3 - EBP package?

Issue - State: closed - Opened by mmcky over 4 years ago - 12 comments

#2 - [BUG] Math Block `$$ $$` inside proof directive throws error

Issue - State: closed - Opened by AakashGfude over 4 years ago - 3 comments

#1 - Declare LaTeX Macros in conf.py

Issue - State: open - Opened by najuzilu over 4 years ago