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

  _  _     _____    __   _      ___     _    _   
 | \| ||  |  ___|| | || | ||   / _ \\  | || | || 
 |  ' ||  | ||__   | '--' ||  / //\ \\ | || | || 
 | .  ||  | ||__   | .--. || |  ___  ||| \\_/ || 
 |_|\_||  |_____|| |_|| |_|| |_||  |_|| \____//  
 `-` -`   `-----`  `-`  `-`  `-`   `-`   `---`