User Vitus Schäfftlein

3 votes

1 answer

60 views

Custom command for statement to be proved

asked May 18, 2021 at 7:05

3 votes

3 answers

70 views

tabular: Align different symbols in the same column but different rows

asked Dec 6, 2021 at 14:10

3 votes

1 answer

126 views

TikZ: xsetlength and smaller lines

asked Jan 31, 2022 at 14:59

2 votes

1 answer

70 views

Automate row color overlays in tabular beamer

asked Mar 20, 2022 at 21:01

2 votes

1 answer

214 views

Custom environment for sequent calculus proofs

asked Jun 28, 2021 at 7:13

2 votes

1 answer

118 views

Center proof goal and "QED" below prooftree

asked Jan 12, 2022 at 8:32

1 vote

1 answer

234 views

Vertically align separation line between title and subtitle

asked Dec 11, 2021 at 13:52

1 vote

0 answers

54 views

Beamer: Same vertical space between items in nested lists

asked Dec 11, 2021 at 21:05

1 vote

1 answer

162 views

Custom tabular environment: Proof Tables for natural deduction

asked Jun 24, 2021 at 10:38

0 votes

1 answer

185 views

Combine smallcaps in frame title, math upright + greek text

asked Dec 9, 2021 at 12:29

0 votes

1 answer

320 views

Define second frametitle command

asked Dec 9, 2021 at 22:28

Stack Exchange Network

11 Questions

Custom command for statement to be proved

tabular: Align different symbols in the same column but different rows

TikZ: xsetlength and smaller lines

Automate row color overlays in tabular beamer

Custom environment for sequent calculus proofs

Center proof goal and "QED" below prooftree

Vertically align separation line between title and subtitle

Beamer: Same vertical space between items in nested lists

Custom tabular environment: Proof Tables for natural deduction

Combine smallcaps in frame title, math upright + greek text

Define second frametitle command