Latest version: v0.1.13
This package is no longer maintained.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.
A Sphinx extension for producing proofs, theorems, lemmas, definitions, remarks, corollaries, conjectures and algorithms.
No known vulnerabilities found
Has known vulnerabilities