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
19 views

Chapter with image and format section

I would like to get chapters with image, section with dot line under and left box cover, def with shadow box and upper + lower straight lines for every proof as in the picture. Could you please help ...
1
vote
1answer
24 views

tex4ht: strange rendering of inline math in subsection

MSE: \documentclass{amsart} \begin{document} \section{Test C} \subsection{Test Ca} \begin{proof} \end{proof} Let $x\in\mathbb R$ be a real number, then we have $x^2\ge0$. \end{document} The output ...
0
votes
2answers
34 views

How to stop numbering the word proof in my document and to put the square at the end of my proofs?

Here is my document from the beginning: \documentclass{book} \usepackage[margin=1in]{geometry} \usepackage{datetime2} \usepackage{lipsum} \DTMsetstyle{mmddyy} \DTMsetup{datesep=/} \usepackage{...
1
vote
1answer
49 views

How to change the title of the 'proof' environment?

I want to change the title of my proof environment, so that instead of Demostración., the proof starts with Proof. I attach a screenshot to help explain myself better. Please help. Thank you :D.
0
votes
0answers
43 views

Proof redefinition not working

My proof redefinition command does not work on some cases and I cannot see the pattern nor the reason. These are the more reduced MN(N)E I could get. They were reproduced on Overleaf. MWE 1: \...
0
votes
1answer
48 views

Journal Springer nature 2021 latex template and proof environment

I am using the latex template of Springer Nature from here. Even though \usepackage{amsthm} is defined, \begin{proof ... \end{proof} is not recognized and gives this error: Missing $ inserted. \end{...
4
votes
3answers
238 views

Creating new environment with ifthenelse

I want to make it so all proofs in my document are conditional using the ifthen package. So far I have \usepackage{ifthen} \newboolean{proofs} \setboolean{proofs}{true} ... \ifthenelse{\boolean{...
0
votes
2answers
105 views

Comment proofs without qed symbol

I am using the comment package in order to hide all proofs when needed. Whenever I comment all proofs, the \qed symbol remains, which I would want to avoid. I could remove the qed symbol altogether ...
0
votes
1answer
51 views

Proof without numbering

I am trying to remove the number from proof, but I could not. When I used amsthm package I got several errors. How to remove numbering of proofs without using amsthm package? \documentclass[11pt]{...
2
votes
1answer
36 views

center big proof in a vertical side

I'm an occasional user of latex, and I'm autogenerating code to make a proof with the proof package. Now I have the problem, with big proof I'm not able to center it in the pdf and also avoid the ...
2
votes
2answers
50 views

How can I manually indent environments like theorem, corollary, etc.?

I am submitting a paper to a journal that requires labels like theorems, corollaries, proofs, and lemmas to be indented. Right now, these environments are flush to the left margin. How can I make this ...
1
vote
2answers
49 views

Make this inference rule more readable

Following code produces something like this: \usepackage{proof} \infer[(\implies I)] { (q \land r \land ¬s ) \implies ( u \lor r ) } { \infer[(\lor I r)] { \\u \lor r } { \infer[(\land E_{2}...
0
votes
0answers
15 views

Let proof statement begin just after PROOF without any line break

I use overleaf latex environment to generate PROOF statement. However I have some issues. My code for the PROOF are: \begin{proof} This is my proof \end{proof} And this code gives me: PROOF: This ...
6
votes
2answers
625 views

Equational Reasoning for Functional Programming

How can I create equational reasoning proof like the ones in CS literatures: A + (B + C) = { Associativity } (A + B) + C = { Commutativity } (B + A) + C I can't seem to find the right ...
1
vote
1answer
42 views

How to modify the proof-environment

I wonder if it's possible to make the QED symbol in the proof environment clickable, to redirect to some given website. Concretely, the syntax would be something like this: \begin{proof}[Sketch of the ...
0
votes
0answers
28 views

I get an error when I use proof environment

I am writing a paper using the Journal of Physics Conference Series's template which can be obtained through this link: https://drive.google.com/drive/folders/17dfkKChHJOHbx1HT-uVMZsA41l2IthiW I get ...
0
votes
0answers
24 views

Custom Proof Environment - Proof by Cases

I'm a student currently in a Discrete Math course, and I write all of my homeworks in LaTeX. I was wondering if anyone had a template that could be used with proofs by cases, counterexamples, etc. I ...
0
votes
2answers
51 views

I changed "proof" to "solution" in environment but it's not updating? I think it has to do with babel?

\usepackage [english]{babel} \usepackage [autostyle, english = american]{csquotes} \MakeOuterQuote{"} \addto\english{\renewcommand*{\proofname}{Solution}} I successfully change my double quotes ...
2
votes
1answer
36 views

Logicproof Package and Axiomatic proof, issues with Layout

I am using the logicproof package in order to write proof in axiomatic style. The problem is that, if a line of the proof is too long, the whole block exceeds page margins. Here is a the code: \...
1
vote
2answers
50 views

The square symbol does not appear in the end of proof

\documentclass{article} \usepackage{amsthm} \renewenvironment{proof}{{\bfseries Proof.}}{} \renewcommand{\qedsymbol}{$\blacksquare$} \newtheorem{theorem}{Theorem}[section] \begin{document} \begin{...
0
votes
1answer
108 views

On making a real analysis book

I am in the process of making a book for my own and not to be published of course about introductory real analysis, my main concern is about the format that I have to set in order to ensure maximum ...
0
votes
0answers
68 views

Seeking a Good Latex Package for Formal Proof in Mathematics

In most textbooks and theoretical papers, proofs are presented in natural language. Although it is impossible to present proofs in pure object language in our daily writing, presenting proofs line by ...
-1
votes
1answer
52 views

Changing qed for separate proofs [closed]

I am using Latex, and I can't share my specific code for privacy reasons, but I want to remove the qed symbol for separate proofs, but not change every proof in the document. The only thing is don't ...
2
votes
1answer
126 views

Nice alignment across nodes in logic proof trees typeset with forest

In this answer, user cfr offers the following code which gives output as in the following image: \documentclass[border=11pt]{standalone} \usepackage[linguistics]{forest} \usepackage{amsmath,amssymb} \...
1
vote
0answers
236 views

How to continue the proof in the next slide

How to continue the contents of a slide? I want to do a beamer presentation of a proof of a theorem. But the problem is I can't fit the proof of the theorem in a single slide as its a big proof. Also ...
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
64 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
42 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
120 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
41 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
58 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
86 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
110 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
300 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
89 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
117 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
27 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
188 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
27 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
58 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
39 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
298 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
2
votes
1answer
237 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
287 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
237 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
185 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} \...
4
votes
1answer
397 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
557 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
44 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
320 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} \...