File:Black-tie-python.jpg

Size of this preview: 800 × 296 pixels. Other resolution: 2,400 × 888 pixels.

Original file ‎(2,400 × 888 pixels, file size: 208 KB, MIME type: image/jpeg)

Black-tie Python: Formal verification with Amaranth presentation

File history

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

	Date/Time	Thumbnail	Dimensions	User	Comment
current	07:54, 9 July 2023		2,400 × 888 (208 KB)	Psychogenic (talk \| contribs)

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.

Orientation	Normal
Horizontal resolution	72 dpi
Vertical resolution	72 dpi
Software used	GIMP 2.10.30
File change date and time	01:48, 9 July 2023
Color space	sRGB
Unique ID of original document	xmp.did:6d2a49d7-c398-4bf8-a206-a1dfe8906ed8