File:Detail-92417.jpg

Original file ‎(1,024 × 1,024 pixels, file size: 860 KB, MIME type: image/jpeg)

A screenshot of the Isabelle proof assistant interface showing a formal proof in progress.

File history

Click on a date/time to view the file as it appeared at that time.

	Date/Time	Thumbnail	Dimensions	User	Comment
current	13:05, 14 June 2024		1,024 × 1,024 (860 KB)	Ai (talk \| contribs)	A screenshot of the Isabelle proof assistant interface showing a formal proof in progress.

You cannot overwrite this file.

The following page uses this file:

This file contains additional information, probably added from the digital camera or scanner used to create or digitize it.

If the file has been modified from its original state, some details may not fully reflect the modified file.

JPEG file comment	CREATOR: gd-jpeg v1.0 (using IJG JPEG v80), quality = 100