Questions tagged [proof-package]

This tag is meant for packages to display and typeset proofs. This can be proof environments like being defined from `amsthm` with `\newtheorem` or more algorithm-like scenarios. The package `proof` is an example.

Filter by
Sorted by
Tagged with
0
votes
0answers
13 views

Consistent spacing with proof environment in level-1 and level-2 enumerate

\documentclass[letterpaper,12pt]{article} \usepackage{empheq} % loads »mathtools«, which in turn loads »amsmath« \usepackage{enumitem} \usepackage{graphicx} \usepackage{fancyvrb} \...
1
vote
1answer
23 views

Changing the formatting of the Theorem and Proof environment

I ask the question directly in the code. \documentclass[ 11pt, ]{scrbook} % KOMA-Script book \usepackage[T1]{fontenc} \usepackage[linedheaders,parts,...
0
votes
1answer
32 views

need a square sign the same size as proof's environment square

There is a square sign in the end of proof environment. I proved something outside of proof environment. Because I had to have 'Proof of Theorem 3', I need to put a square as the same size as proof ...
2
votes
2answers
80 views

Spacing in proof environment with \item

\documentclass[letterpaper,12pt]{article} \usepackage{empheq} % loads »mathtools«, which in turn loads »amsmath« \usepackage{enumitem} \usepackage{graphicx} \usepackage{fancyvrb} \...
0
votes
0answers
27 views

Aligning proof rules

The following code: \documentclass[10pt,journal,a4paper]{IEEEtran} \usepackage{proof} \usepackage{float} \begin{document} \begin{figure} \infer[\textnormal{axiom} \, C] { C }...
2
votes
3answers
36 views

Left align the “Proof.” at the beginning of the proof environment containing a Tikz picture

Here is some code that should run, \documentclass{article} \usepackage{amsthm} \usepackage{tikz} \begin{document} \noindent\textbf{Identity 1.} \textit{For $n \geq 2$,} \[ {\color{blue} {n \choose 2}...
1
vote
1answer
26 views

Share long proofs in beamer to many frames [duplicate]

Hi everyone please I am writing a proof in beamer with \begin{proof} \end{proof} but the proof is too long so I can't have it in one frame, I wanted to share the proof to many frames but it didn't ...
2
votes
1answer
48 views

Why is my proof not working with a matrix?

I was writing up a proof on a LaTex article, which required me to utilise a number of matrices in it. However, I quickly discovered that when I hit \end{proof}, at the end of my proof, it would not ...
0
votes
0answers
63 views

Where to find good templates for mathematical proofs?

Where can we find very good examples of templates for mathematical proofs using LaTeX? Specially if we would aim to send something for the Annals of Mathematics? Let's say, by hypothesis, that we ...
1
vote
1answer
35 views

How can I use the semantic and proof-at-the-end packages simultaneously?

I would like to use the semantic package to write inference rules, and I would also like to use the proof-at-the-end package to put proofs of my theorems in the appendix. However, when I use these two ...
2
votes
1answer
53 views

How do I line-wrap justifications in a proof?

How would I line-wrap justifications in the proof/align environment in LaTeX? E.g., I have a justification for an equation, but the justification veers off into the page and doesn't line wrap. I'd ...
0
votes
0answers
23 views

Two different `proof' environments with different headings and qed symbols

In my book, I am using two different proof environments. The original proof environment in the AMS packages has been modified to the following: \renewcommand{\qedsymbol}{$\blacksquare$} \makeatletter ...
0
votes
1answer
78 views

Labelling a section or “subproof” within a proof

Does anyone have ideas on labelling a section in a proof that can be referenced later? Just to be clear I would like to do a "subproof" in a proof environment.
0
votes
0answers
24 views

Redefining the symbol for the end of proof to \blackbox [duplicate]

In a .cls file, which is referenced by my latex code, I have the following definition for the end of proof symbol: \newcommand\qedsymbol{\hbox{\rlap{$\sqcap$}$\sqcup$}} \newcommand\qed{\relax\ifmmode\...
2
votes
1answer
32 views

Proof environment in the svmult class

I'm using the svmult class. If I write \begin{proof}[Proof of Proposition 1] what I get is "Proof(Proof of Proposition 1)" How can i get "Proof of Proposition 1" only? Thank you for the ...
2
votes
1answer
30 views

Trying to split frame without repeating Title

Below I am trying to split a frame without repeating the title and in a particular place but it doesn't seem to be happening. \begin{frame}[allowframebreaks]{A result about multiples} \large ...
2
votes
2answers
142 views

Missing $ inserted despite inserting $

I have a problem with \infer{$\forall x\in A. P(x)$}{$\forall x\in A.(\forall y\in A.x\xrightarrow{+}y\implies P(y))\implies P(x)$} I have looked at this answer but couldn't find it helpful
1
vote
1answer
112 views

End of proof box is not shown

When I use the proof environment, the output does not show the tombstone informs3 class. The class can be download here by selecting INFORMS Journal on Computing Style Files. I tired the ...
1
vote
1answer
117 views

having issue with the proof environment

I am using theorem, lemma,corollary, and proof environments with the following way. \newtheorem{theorem}{Theorem} \newtheorem{corollary}{Corollary}[theorem] \newtheorem{lemma}[theorem]{Lemma} \...
6
votes
3answers
186 views

Quantification in the infer command of the proof package

I'm trying to write this inference rule using the infer command of the proof package: For that I'm using the command: $\infer{s = s'}{% R \subseteq A^{\omega} \times A^{\omega} & ...
3
votes
1answer
94 views

Bussproofs tree will not compile

I have the following proof tree, which latex says is badly specified. Here is the TeX. \documentclass{article} \usepackage{bussproofs} \usepackage{amsmath} \begin{document} \begin{prooftree} \...
3
votes
1answer
221 views

How to draw “flag format” lambda derivation diagrams as used in the book Type Theory and Formal Proof: An Introduction

I'd like to draw "flag format" diagrams for lambda derivation as used in the book "Type Theory and Formal Proof: An Introduction". Below is an example in Chapter 2 of the book. How can I do it? Thanks....
6
votes
4answers
356 views

How do I reference a custom counter that shows the section number?

I am trying to use the proof environment that comes with the amsthm package. And I would like the proof environment to be numbered, such as the theorem environment for the sake of adding a label, so I ...
1
vote
1answer
36 views

Adapting a document to tglat2e style and its conflicts with amsthm and caption

I am trying to adapt my document to the tglat2e-style of this journal. Please take a look at this MWE: \documentclass{tglat2e} \let\proof\relax \let\endproof\relax %This trick is due to David ...
3
votes
2answers
297 views

Empty proof as standalone

I've made an empty proof as a joke (the worst kind of visual proof). It works fine when I use the article document class, \documentclass{article} \usepackage{amsthm} \begin{document} \begin{proof} \...
0
votes
1answer
117 views

Horizontal space within proof

I am typesetting a few proofs in LaTeX that have multiple cases, and sometimes I wish to indent each case to make my proof clearer (with about the same amount of horizontal space as a \qquad). I have ...
0
votes
0answers
47 views

Scaling Box for Exercises

I've been using the following code to include numbered exercises in a book I'm writing using the amsbook class: \newcounter{exercise} \newsavebox{\mybox} \newenvironment{exercise} {\...
0
votes
1answer
38 views

Package lplfitch and “Overfull \hbox”

I get a huge lot of Overfull \hbox using Fitch diagrams, package lplfitch. MWE: \documentclass{article} \usepackage{graphicx} \usepackage{lplfitch} \begin{document} \begin{figure} \noindent\fitchprf{...
0
votes
1answer
51 views

How can I write a “definition” like this?

The theorem of the picture is written in bold, I mean: Theorem 1.2 (Pythagorean theorem). I want to write a definition with that format. Also, it would be better if it's written with small capitals. ...
2
votes
1answer
156 views

Square at the end of proof without “proof” at the beginning

I'm writing a paper and I would like to have a square at the end of each proof without having the "Proof." that comes automatically with the \begin{proof} ... \end{proof} thing because I don't want ...
2
votes
1answer
170 views

Define double environments

TLDR; How can I define a "double" environment like in theorems/proofs (with an optional proof)? I'm defining a small library that is supposed to behave more or less like theorems/proof environments (...
2
votes
1answer
340 views

Ultimate proof at the end/in appendix: different sections, with references to proof/theorem, restate, and synctex

I saw lot's of different posts/answers to put the proof at the end, but none of them fully convince me. Indeed, I'd like to have the following: a way to put the proofs in different sections: some ...
2
votes
1answer
28 views

Proof environment with long header causes many problems. How to avoid them?

Suppose we have defined a lemma environment with the amstheorem package. And suppose the proof environment is available via the ams packages. Please consider this example. \begin{lemma} \label{lem:...
4
votes
1answer
105 views

prooftrees tree nodes on different line

While trying to write a tableaux proof tree with prooftrees, I had some difficulty with putting single and branching nodes on the same line. \documentclass{article} \usepackage{prooftrees} \begin{...
1
vote
2answers
76 views

In the proof (see picture), Similarly line is not aligned. How can I align this line?

Code: \begin{proof} $ \begin{align*} T(1) &= \theta(1), \\T(0) &= \theta(1), \\T(n) &= T(n-1)+T(n-2)+\theta(1) &&n\geq2 \\T(n) &= T(n-1)+T(n-2)+c ...
1
vote
0answers
200 views

apxproof changing appendix title

I need to use the apxprrof package because i have proofs that I want to show only in the appendix and this package does exactly what I need. However, I also need to place some tables (not all) in the ...
2
votes
0answers
281 views

how do I display very large proof trees (bussproofs, ebproofs, tikz's tree library)

I am looking at different options to typeset proof trees. I have asked a more general question and run into some issues. In particular I am trying to understand how to display very large proof trees, ...
0
votes
1answer
3k views

Problem with proof environment

I've written a proof in LaTeX, and I looked up how to use the proof environment. From what I read, it should start with "Proof:" and end with \qed, but the PDF shows no changes. It simply displays the ...
1
vote
1answer
140 views

\resizebox within \begin{align}… \end{align} not working while using \intertext{

I have some very wide equations within a proof environment which I want to contain in a two-column document, I thus think of using \resizebox{1.3\columnwidth}{!}{% to archive that generate this error ...
0
votes
1answer
44 views

Aligning all the equations but not aligning texts within a 2 column-proof environment while?

I need you help me with hacks or tricks to include my MWE in a two-column page with the proof environment with its mathematical being aligned and also consist texts for explanation. The problem is ...
2
votes
2answers
225 views

Equation number within proof environment while aligning all the equations?

I know equation numbering is possible in a proof environment, as shown below in MWE1: \documentclass[12pt,a4paper]{article} \usepackage[latin1]{inputenc} \usepackage{amsmath} \usepackage{amsthm} \...
1
vote
1answer
255 views

Using the apxproof package and \newtheoreprep, my theorems don't show up in the appendix.

Problem A theorem environment was defined with apxproof's \newtheoremrep command. The theorem however, doesn't show up in the appendix, and neither does the subsequent \proof as claimed by the ...
2
votes
0answers
325 views

\begin{proof} and \begin{problem} don't work in new section

I've encountered with the following problem. So in my document, I defined the new theorem environment problem, using the following preamble codes \theoremstyle{plain} \newtheorem{eg}[theorem]{Example}...
2
votes
2answers
675 views

Writing a natural deduction proof in Latex

I have checked the other questions, before anyone asks, but the style of proof appears to be subtly different and I would be expected to stick to the convention that I am using. My question is how to ...
1
vote
0answers
82 views

Distinguishing parts of a proof

Suppose I have a theorem that says that three statements are equivalent. When writing out a proof of such a theorem, I like to use the following formatting: Proof: (͟1͟)͟ ͟=͟>͟ ͟(͟2͟)͟ | *proof ...
0
votes
1answer
137 views

Manually set line numbers if prooftrees.sty?

Is it possible to manually set the line number in a prooftrees tableau? Or suppress the line numbers for an individual line? I'd like to have something like 1 A_1 \vdots n A_n produced perhaps ...
4
votes
1answer
531 views

ebproof undefined control sequence \hypo

I'm trying to use the ebproof package with the following MWE: \documentclass[12pt, letterpaper]{report} \usepackage[utf8]{inputenc} \usepackage{ebproof} \begin{document} \begin{prooftree} \hypo{...
1
vote
1answer
66 views

Can't use some commands in repeated theorem name when using apxproof

For some reason I can't use some commands, such as \def in the name of a theorem when using apxproof's repeated theorems. And I can't understand why. It does not seem to be related to the fact that ...
6
votes
3answers
4k views

How to Align Equations in the Align and Proof Environment

I wrote the following proof. I used the following code and it resulted in the following output: \begin{proof} \[S_n = \frac{a(1-r^n)}{1-r}\] \begin{align*} \lim _{n\to \infty} S_n &= \lim _{n\...
1
vote
1answer
113 views

prooftrees.sty: How can I number individual expressions rather than whole lines?

Using prooftrees.sty (https://ctan.org/pkg/prooftrees), is there an option or hack to obtain a line numbering scheme different from the default one? I would like to format truth trees that match the ...