File:Sequent prover transitions.png
Size of this preview: 800 × 359 pixels. Other resolution: 2,244 × 1,008 pixels.
Original file (2,244 × 1,008 pixels, file size: 115 KB, MIME type: image/png)
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 10:57, 5 January 2026 | | 2,244 × 1,008 (115 KB) | Engels (talk | contribs) | |
| 10:17, 5 January 2026 |  | 1,526 × 959 (95 KB) | Engels (talk | contribs) | ||
| 09:39, 1 January 2026 |  | 1,070 × 1,098 (70 KB) | Engels (talk | contribs) |
You cannot overwrite this file.
File usage
The following page uses this file:
