User:Boris Tsirelson/Sandbox1

(CC) Image: Boris Tsirelson
The graphical user interface started.

(CC) Image: Boris Tsirelson
The source file is read.

(CC) Image: Boris Tsirelson
Definitions are processed; the formulation of the first lemma is being processed.

(CC) Image: Boris Tsirelson
The formulation of the first lemma is processed; the goal is pending.

(CC) Image: Boris Tsirelson
Add image caption here.

(CC) Image: Boris Tsirelson
Add image caption here.

(CC) Image: Boris Tsirelson
Add image caption here.

(CC) Image: Boris Tsirelson
Add image caption here.

(CC) Image: Boris Tsirelson
Add image caption here.

(CC) Image: Boris Tsirelson
Add image caption here.

(CC) Image: Boris Tsirelson
Add image caption here.

(CC) Image: Boris Tsirelson
Add image caption here.

(CC) Image: Boris Tsirelson
Add image caption here.

(CC) Image: Boris Tsirelson
Add image caption here.

(CC) Image: Boris Tsirelson
Add image caption here.