Your English writing platform
Discover LudwigExact(1)
For a taste of what they can do, notice that they yield a succinct justification of a rule of Uniform Substitution, whereby a formula of the form $A(B/p)$ is a theorem whenever $A$ is a theorem, provided that $B$ is free for $p$ in $A$.
Similar(58)
However I have now encountered a new justification - official briefing papers that apparently cannot be shown to the public because they are too succinct and not verbose enough.
His formulations were succinct.
Ferguson was more succinct.
Talk about succinct?
Murphy was most succinct.
The message was succinct.
Simple, succinct, and incorrect.
His reply was succinct.
Smith was more succinct.
Some were more succinct.
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com