Uploads by Engels
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | Description | Versions |
|---|---|---|---|---|---|
| 10:57, 5 January 2026 | Sequent prover transitions.png (file) |  |
115 KB | 3 | |
| 09:49, 1 January 2026 | Sequent prover add hyp.png (file) |  |
33 KB | 1 | |
| 09:44, 1 January 2026 | Sequent prover proof saving.png (file) |  |
142 KB | 1 |
