This repository contains a tool for reading/studying mathematical proofs. It tries to solve two main issues of traditional proofs written in a book:
- the global organization of a proof in a textbook is often not very clear. This is due to the linearity of a textual proof. Here, the proof is displayed in panels, making an emphasis on the structure of the proof
- In a textbook, justifications of a statement often ends up "by Theorem 1.2.3, Lemma 42.4 and Corollary 8.8.4 and Equation 1". Here, by clicking on a statement, the arguments used to deduced that fact are highlighted.
The tool is available here: https://francoisschwarzentruber.github.io/prooffold/
Proofs are easy to be written.
Fact
Theorem. This amazing!
\label{theorem:amazing}
{
write the proof of the theorem
with an amazing fact
{
proof of that amazing fact
}
}
Another Fact
\ref{theorem:amazing}
Each line is a fact, or simple text. Blocks (panels) are delimited by {
and }
and corresponds to a detailed proof of some fact. \label{...}
and \ref{...}
enable to highlight some facts used to prove another fact.
Adding new proofs! Also discussing about how to improve the way to display proofs.