1
0

Double Bar Proofs

3y 16d ago by programming.dev/u/spi in latex@programming.dev

Does anyone know how to make good double bar proofs? I used a column with a row before but I was wondering if there are any better options.