- pandoc (for format conversion) :
sudo apt install pandoc - python3 (for pandoc's filter) :
sudo apt install python3 - fortune (to display data) :
sudo apt install fortune fortune-mod
sudo make install
| Option | Description |
|---|---|
-n <N> |
Show at most N proofs. Default : 1000 |
-s <ERE> |
Search theorems which match given extended regular expression (ERE, see man grep). Default : "*" |
-p |
Show theorem's proof(s). |
-l <lang> |
Show only proofs written in lang language. Default : "*" |
-S |
Show theorem's code. |
-P |
Output the result as a PDF. |
-L |
Output the result as LaTeX format. |
-h |
Show help message. |
- Describe formats used
- use inline bibtex or
bibtexfile for proofs
- use inline bibtex or
- Install pandoc filter
ansify.py - Release it as an ubuntu package
*.deb