Skip to main content

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
1 answer
17 views

Ternary inferences in bussproofs or another prooftree package?

I'm wondering if you can do ternary inferences in bussproofs? If not, are there any other proof tree packages where you can do ternary inferences? It might be that I have to start drawing proof trees ...
JoD17's user avatar
  • 1
1 vote
1 answer
67 views

How to create two or more \tcolorboxenvironment for the same environment?

I have created a \proof environment with \tcolorboxenvironment, according to the following preamble and code snippet: \documentclass{report} \usepackage[margin=1in]{geometry} \usepackage[...
Bml's user avatar
  • 151
1 vote
1 answer
38 views

Horizontally Align Lists in Proofs

Is there any way to make the 1. and bullet point align with the rest in the proof environment? \documentclass[letterpaper,12pt]{article} \usepackage{amsmath, amsfonts, amssymb, amsthm} \begin{document}...
Dian Sheng's user avatar
2 votes
1 answer
45 views

Proof Environment Inherits colour of theorem

I'm currently using the following setup with mdframed for theorems and proofs. \documentclass{article} \usepackage[usenames, dvipsnames]{xcolor} \usepackage{thmtools} \usepackage{tikz} \usepackage[...
Apollonius's user avatar
0 votes
0 answers
35 views

Adjust spacing within tcb theorem and between paragraphs

For reference this is my current tcbtheorem block \newtcbtheorem[number within=section, list inside = theoremlist, list type = thrm]{thrm}{Theorem}% {enhanced, breakable, colback=r!7, colbacktitle=r!...
xyz04's user avatar
  • 137
0 votes
1 answer
43 views

Bespoke `proof` environment produces big vertical space just after a subsection title

I am using a bespoke document class which I have not developed. As part of this class, the proof environment is defined as follows: \newenvironment{proof}{% \par\addvspace{12pt plus3pt minus3pt}\...
Daneel Olivaw's user avatar
0 votes
1 answer
30 views

Captionof+label creates link anchored to the caption, not the proof

I have a proof (bussproof) that is inside the center environment, and I put captionof inside it, with a label after it. When I click on an autoref of the label, it jumps to the caption but not to the ...
confusedcius's user avatar
0 votes
1 answer
47 views

line breaks when using lemma or proof

Sorry for the long MWE but it is only the last part going wrong, but I was unsure if its my preamble making it go wrong, the text in my lemma or proofs runs off the page and I can't see the end of the ...
Paul A's user avatar
  • 1,117
0 votes
0 answers
41 views

Theorem styles not working in Frontiers journal template

I am trying this template: https://www.overleaf.com/latex/templates/template-for-frontiers-journal/myxxkvjwqhrv Which package should be added so that Theorem will start in bold and the qed symbol will ...
LOVEMATH's user avatar
2 votes
1 answer
81 views

Shading parts of fitch-style natural deduction proofs

I'm using the fitch package (the one written by Prof. Selinger and is now maintained, I believe, by Richard Zach) for pedagogical purposes -- as I suspect many people do. It would be helpful to be ...
Bernhard's user avatar
  • 1,278
0 votes
1 answer
27 views

Proof appearing in the middle of the equations

Does anyone know why this could be happening? \begin{proof} \begin{aligned} \bar{p} \cdot \bar{x} & =\bar{p}^\mu \bar{x}_\mu \\ & =\Lambda^\mu{ }_\nu p^\nu \Lambda_\mu{ }^\rho x_p \\ & ...
Orion Pax's user avatar
1 vote
0 answers
24 views

Missing hyperlinks in apxproof

I'm using apxproof and I would like lemmas and theorems to share a counter. The counter is working fine; however, forward links are appearing for only the theorems and not the lemmas (backwards links ...
platty's user avatar
  • 111
0 votes
2 answers
89 views

Vertical Alignment in Proof Tree

I have tried a few packages to align inference rules but I have not figured out how to avoid the following problem. My proof tree looks like this: A ------------------------- B ...
Hanna 's user avatar
0 votes
1 answer
31 views

Environment in Miktex for my proofs

I would like to create an environement for my proofs so that it looks like this : My proofs must be inside two vertical bars. I use this package :\usepackage[most]{tcolorbox}
darkyadoo's user avatar
0 votes
1 answer
90 views

Place the QED symbol for a proof that ends with a figure on the same line of the figure caption

I have a figure at the end of a proof environment (see MWE below). I would like to have the QED symbol that ends the proof on the same line of the figure caption. Placing \qedhere after or inside \...
AEW's user avatar
  • 819
2 votes
1 answer
91 views

How to get the QED symbol without using the proof environment

I want to get the QED symbol at the right end of the proof without using the proof environment and I want the QED symbol inside \begin{itemize}... \end{\itemize} environment. Is it possible? Thanks ...
Ali Shadhar's user avatar
0 votes
2 answers
97 views

How to hide this proof depending on my command's value?

The following Latex code allows me to create an appendix automatically where proofs are stored by setting the value of the command \moveToAppendix to 1. \documentclass[a4paper,USenglish]{article} \...
J. Schmidt's user avatar
0 votes
0 answers
69 views

How to add a page break or newpage in proof environment

My code is very unclear, but to summarise: \documentclass{article} \usepackage{graphicx} % Required for inserting images \usepackage[utf8]{inputenc} \usepackage[fleqn]{amsmath} \usepackage{amssymb,...
Zhiyuan Liu's user avatar
0 votes
1 answer
63 views

Formula in premise overflows derivation line using bussproofs

I came to the universally quantified assumption overflows the derivation line. My source is \documentclass{beamer} \usepackage{bussproofs} \newcommand{\mydots}{ \def\extraVskip{-2pt} \noLine \...
Gergely's user avatar
  • 1,095
1 vote
2 answers
71 views

Spacing in proof environment

I have this quite long code. \documentclass[12pt,a4paper]{article} \usepackage[utf8]{inputenc} \usepackage[ left=1in, right=1in, top=1.5in, bottom=1in, headsep=20pt ]{geometry} \usepackage{amsmath} ...
Hussein Eid's user avatar
3 votes
1 answer
231 views

Is there a better way to define a second proof environment?

I've seen this post Defining my own proof environment? and I have a follow-up question, because the answers there are unsatisfying. I would like to define two proof environments—one with a black qed ...
Maximal Ideal's user avatar
0 votes
1 answer
62 views

bussproofs.sty single longer line? [closed]

How would I write a line that is longer than the formula, even when the next formula is the same size, so that the line is apparently longer. For example, I want to write: a -- b -- c ---- a -- c ...
Andrei's user avatar
  • 1
1 vote
1 answer
106 views

How to add blank space in the proof environment with qed symbol at the bottom of the page?

How to add blank space in the proof environment with qed symbol at the bottom of the page? I don't want only have a few lines of blank space. I want the space to be filled until the last line of the ...
Mykola Hordeichyk's user avatar
0 votes
2 answers
82 views

How to make multiple QED squares side by side on the right

I have a long proof that features two lemmas; at their end, I want to make three QED signs side by side on the right side of the page. If I use \endproof\endproof, the squares are vertically placed ...
kuco 23's user avatar
  • 103
2 votes
2 answers
269 views

How to make the end-of-proof symbol (the square on the far right) thicker (or bolder) than it actually is

My question is: how to make the square on the right at the end of the proof in the proof environment thicker or bolder ?!. I guess that we have to use the command \renewcommand{\qedsymbol}{something}. ...
Hussein Eid's user avatar
2 votes
3 answers
200 views

How to create a proof environment with a different typeset name in addition to the original proof environment, in a non-English language?

This post is a direct extension of this one. How can I define a proof environment with a different typeset name than "Proof" in a non-English document in addition to the original proof ...
Evan Aad's user avatar
  • 11.1k
1 vote
1 answer
70 views

How to represent QED (not as a box!) the way Tim Roughgarden did?

I'm trying to write QED as written in the image below. I searched the entire palette in the latexit application but couldn't find any. I tried \textit{QED} but that is just QED in italics. Anyone know ...
dr.drizzy's user avatar
  • 111
1 vote
1 answer
141 views

Beamer: qed symbol when split a frame into multi-pages

I would like to split a frame consisting of a proof environment into 2 pages. I find that it works well when the proof is organized by an itemize environment. See the following example. \documentclass{...
jiaopjie's user avatar
  • 479
0 votes
0 answers
52 views

Align proof tombstone with itemize/enumerate/align

When using an itemize/enumerate/align environment inside of a proof environment, the tombstone is awkwardly placed on the line below the end of the final line. What is the cleanest way to get the ...
zjs's user avatar
  • 271
1 vote
1 answer
175 views

Multiple inference rules aligned

I'm trying to write several inference rules aligned like this but I've run into some difficulties and haven't found a suitable way to do it. Any ideas ? Thanks for your help.
Yann-Arthus Pilgrim's user avatar
5 votes
3 answers
1k views

Why the Q.E.D. symbol show after the sentence end and can't show right aligned (as picture below)?

\documentclass[twoside,11pt]{book} \usepackage[left=2.5cm,right=2cm,top=2cm,bottom=2cm,papersize={15.5cm,23.5cm}]{geometry} \renewcommand{\thechapter}{\Roman{chapter}} \renewcommand{\thesection}{\...
Ongky Denny Wijaya's user avatar
0 votes
1 answer
152 views

How to use \qed in a mathematical equation in LaTeX? [closed]

I like to place a \blacksquare or a \Box at the end of a worked example. This does not pose any problem in a text sentence in LaTeX. But when I type \qed in a mathematical equation at the end, LaTeX ...
Sundar's user avatar
  • 725
0 votes
2 answers
579 views

Missing } inserted. \end{proof}

I get a bunch of errors telling me: line 417: Missing { inserted. \end{proof} line 417: Missing } inserted. \end{proof} line 426: Missing { inserted. \end{proof} line 426: Missing } inserted. \end{...
qyx's user avatar
  • 1
2 votes
1 answer
183 views

Centered vs aligned equations

I was writing a research paper and did some proof. I am not happy with how the equations are placed in the pdf. Some of them are in the center, and some of them are far left of the page. There are ...
Riddle72's user avatar
  • 107
2 votes
1 answer
114 views

Center proof goal and "QED" below prooftree

I am using the Clea F. Rees' prooftrees package in order to typeset tableau proofs in LaTeX. Things are working just fine, but there are two caveats I do not know how to deal with. Firstly, the "...
Vitus Schäfftlein's user avatar
1 vote
1 answer
39 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 ...
Yai0Phah's user avatar
  • 669
0 votes
2 answers
158 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{...
Happy's user avatar
  • 363
1 vote
1 answer
861 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.
James Garrett's user avatar
0 votes
0 answers
53 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: \...
Gilgamesh's user avatar
  • 267
0 votes
1 answer
1k 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{...
sepideha's user avatar
  • 179
5 votes
3 answers
782 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{...
Shivashriganesh Mahato's user avatar
0 votes
2 answers
286 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 ...
thegain's user avatar
0 votes
1 answer
303 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]{...
memo's user avatar
  • 1
2 votes
1 answer
48 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 ...
vincenzopalazzo's user avatar
2 votes
2 answers
239 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 ...
Ron Snow's user avatar
  • 123
1 vote
2 answers
711 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}...
Pavol Kacej's user avatar
6 votes
2 answers
824 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 ...
thoughtpolice's user avatar
1 vote
1 answer
361 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 ...
Jonathan Prieto-Cubides's user avatar
0 votes
0 answers
113 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 ...
Amirul Aizad's user avatar
0 votes
2 answers
69 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 ...
user233825's user avatar