Changes:

• New sub-module hilbert for making Hilbert-style proofs
• Documentation update for the new features
• black code style change: maximum line length changed from 120 to the default and more standard 88
• Made formula attribute for Formula class private