v0.3.7

What's Changed

• make verify_one public by @digama0 in #88
• clippy fixes by @digama0 in #92
• Substitute sub-formulas by @tirix in #93
• expose ProofTreePrinter, make enable_exprs optional by @digama0 in #94
• Generate discouraged file by @tirix in #96
• Discouraged file path can be specified on the command line by @tirix in #97
• Discouraged control flow by @tirix in #98
• Formula typecode converter by @tirix in #104
• std::Error implementation for StmtParseError by @tirix in #105
• always report all errors by @digama0 in #108
• Updating the dependencies by @josojo in #110
• Fixing the running of export statements by @josojo in #111
• add axiom_use generator by @digama0 in #107
• Add function to export theorem dependencies in GraphML format by @tirix in #112
• Axiom usage verification by @tirix in #118
• add double-quote escape in $t/$j comments by @digama0 in #91
• Axiom usage pass does not require statement parsing by @tirix in #120
• Add a "statement use" option by @tirix in #123
• Fix 'missing contributor' error message by @digama0 in #126
• Add handling for double underscores by @tirix in #127
• don't unescape _ in labels/URLs and in HTML mode by @digama0 in #130
• trim spaces before/after math mode and labels by @digama0 in #132
• add comparison by label/atom/address by @digama0 in #133
• fix error formatting bug by @icecream17 in #136
• make HeadingComment public by @digama0 in #134
• Fix for #135 by @tirix in #138
• call grammar_pass before export_grammar_dot by @digama0 in #142
• add const_ranges iterator by @digama0 in #140
• lazy fail on parse errors by @digama0 in #139
• Fix set.mm check by @jkingdon in #143
• support syntax 'A' 'B' 'C'; command, style by @digama0 in #144
• Clippy update by @tirix in #145

New Contributors

• @josojo made their first contribution in #110
• @jeroenvanrensen made their first contribution in #122
• @icecream17 made their first contribution in #136
• @jkingdon made their first contribution in #143

Full Changelog: v0.3.6...v0.3.7