User:Boris Tsirelson/Sandbox1: Difference between revisions
Jump to navigation
Jump to search
imported>Boris Tsirelson No edit summary |
imported>Boris Tsirelson No edit summary |
||
Line 17: | Line 17: | ||
{{Image|Isabelle9.png|right|350px|Really complicated arguments...}} | {{Image|Isabelle9.png|right|350px|Really complicated arguments...}} | ||
{{Image|Isabelle10.png|right|350px| | {{Image|Isabelle10.png|right|350px|Happy end is coming.}} | ||
{{Image|Isabelle11.png|right|350px| | {{Image|Isabelle11.png|right|350px|The theorem is proved.}} | ||
{{Image|Isabelle12.png|right|350px|Add image caption here.}} | {{Image|Isabelle12.png|right|350px|Add image caption here.}} |