A Rust library based on textwrap to print text in columns and align to the right, center or justify text
It was primarily made for COQ and can be used, modified and distributed under the terms of the MIT License.
Many thanks to @mgeisler for textwrap.