Bracket Notation for Mathematical Proofs

The bracket notion for mathematical proofs is an adaptation of the Fitch notation for Gentzen's natural deduction proof system. It has led to the development of the SOFiA proof assistant. This post brings together some videos explaining the bracket notation and the first-order formal language for mathematics in the context of the bracket notation.

1. General Overview

~ 20 min

2. Building Blocks for Statements

~ 1 hour


3. Examples of Forming Statements

~ 40 min


4. Examples of Forming Statements (Continued)

~ 35 min


5. Concluding Quantified Statements

~ 35 min


6. Concluding from Quantified Statements

~ 1 hour