☀
Squares and inequalities
⌄
M
●
All changes saved
Share ↗
main.tex
⌄
↶ ↷ ···
B
I
∑ ⌁
✧
Formalize 5
PDF
Lean
Graph
LaTeX
UTF-8 LF
▤ PDF · main.tex
01 / 06
01 / 06
The paper
A normal LaTeX paper. Five statements to check.
◀
▶
1/6
Figure 1: Formalization in the editor.