發送短信 : App-based scaffolds for writing two-column proofs

 _    _    _    _    _    _      ___              
| |  | || | || | || | |  | ||   / _ \\    ____    
| |/\| || | || | || | |/\| ||  / //\ \\  |    \\  
|  /\  || | \\_/ || |  /\  || |  ___  || | [] ||  
|_// \_||  \____//  |_// \_|| |_||  |_|| |  __//  
`-`   `-`   `---`   `-`   `-` `-`   `-`  |_|`-`   
                                         `-`