search

metamath / metamath-knife

Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
Apache License 2.0
25 stars 9 forks source link

Verbs for command line help, README, and Misc. #102

Closed tirix closed 1 year ago

tirix commented 1 year ago

@benjub mentioned that some verbs in the command line help are "Prints" instead of "Print". Actually those two exceptions are for help and version, which are automatically generated by the clap crate. So I instead changed all our option descriptions so that they are verbs at the 3rd person.

Also, fixes #101 by running a grammar pass before printing the grammar.

tirix commented 1 year ago

Also modified the README.md file to show the options available and fix the required Rust version.