أرسل هذا في رسالة قصيرة: App-based scaffolds for writing two-column proofs

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