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

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