Open ja-albert opened 2 years ago
This PR suggests a possibility to add the Sage docstrings to the OMDoc exports.
As discussed with @Jazzpirate I create the PR, although I have no possibility to run and/or test it at my computer.
This PR suggests a possibility to add the Sage docstrings to the OMDoc exports.
As discussed with @Jazzpirate I create the PR, although I have no possibility to run and/or test it at my computer.