Spy, spi@programming.dev

Instance: programming.dev
Joined: 2 years ago
Posts: 1
Comments: 0

RSS feed

Posts and Comments by Spy, spi@programming.dev

Double Bar Proofs

Community iconc/latex@programming.dev by

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.

0
1

RSS feed

Posts by Spy, spi@programming.dev

Double Bar Proofs

Community iconc/latex@programming.dev by

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.

0
1

Comments by Spy, spi@programming.dev