theorem beamer copy report latex

theorem bookdown r-markdown r latex

theorem theorem-proving z3

theorem counter latex reference