NLP APIs

Table of Contents

Gensim Tutorials
Natural Language Toolkit
- Some simple things you can do with NLTK
- Next Steps

Autogenerated API

simserver
- Classes
word2vec
- Functions
- Classes
  - word2vec.WordClusters
    - Methods
  - word2vec.WordVectors
    - Methods
stop_words
- Functions
- Exceptions
  - stop_words.StopWordError
API — nltk
API — gensim

NLP APIs

Docs »
API — nltk »
nltk »
nltk.Prover9Command »
nltk.Prover9Command.decorate_proof
View page source

nltk.Prover9Command.decorate_proof¶

Prover9Command.decorate_proof(proof_string, simplify=True)[source]¶: :see BaseProverCommand.decorate_proof()

Next Previous

© Copyright 2016.

Built with Sphinx using a theme provided by Read the Docs.