Your English writing platform
Discover LudwigExact(1)
As in LK, proofs constructed in NK are represented as trees with the proof's conclusion sitting at the root of the tree, and the problem's assumptions sitting at the leaves.
Similar(59)
Enter Simmons and his legion of imitators, whom you won't find loitering in a locker room, trawling for quotes or sitting at the press tables of an N.B.A. game, where rooting is forbidden.
Terry Healy, a bar owner who was sitting at the counter of Harry Caray's Restaurant in Chicago yesterday, said that he, too, found it easier to root for the Yankees now.
I'm sitting at the Beverly Hilton".
Scott was sitting at the kitchen table.
She was sitting at the kitchen table.
Wylie Dufresne was sitting at the end of the bar.
They were sitting at the end of the bench.
Marty's sitting at the soundboard.
Craig was sitting at the table.
Laurel was sitting at the kitchen table, knitting a hat.
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