Double Bar Proofs
3y 16d ago by programming.dev/u/spi in latex@programming.devDoes 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.
Double Bar Proofs
3y 16d ago by programming.dev/u/spi in latex@programming.devDoes 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.