Text this: App-based scaffolds for writing two-column proofs

 __   _     ______   __   _     ______   _    _   
| || | ||  /_   _// | || | ||  /_   _// | |  | || 
| '--' ||   -| ||-  | '--' ||   -| ||-  | |/\| || 
| .--. ||   _| ||_  | .--. ||   _| ||_  |  /\  || 
|_|| |_||  /_____// |_|| |_||  /_____// |_// \_|| 
`-`  `-`   `-----`  `-`  `-`   `-----`  `-`   `-`