Archived tweet #10638 from the @leastfixedpoint Twitter Archive

@arntzenius That's a really interesting challenge! I wonder if some of the new fanciness around CSS flexbox could work well? A row with a box for each individual antecedent/consequent; a column, with a rule between cells, for the groups. Might not work for recursive proof trees.