User contributions for Engels
6 January 2026
- 08:1708:17, 6 January 2026 diff hist 0 Sequent Prover No edit summary
5 January 2026
- 10:5810:58, 5 January 2026 diff hist +405 Sequent Prover No edit summary
- 10:5710:57, 5 January 2026 diff hist 0 File:Sequent prover transitions.png Engels uploaded a new version of File:Sequent prover transitions.png current
- 10:1710:17, 5 January 2026 diff hist 0 File:Sequent prover transitions.png Engels uploaded a new version of File:Sequent prover transitions.png
1 January 2026
- 09:5609:56, 1 January 2026 diff hist +85 Sequent Prover No edit summary
- 09:4909:49, 1 January 2026 diff hist 0 N File:Sequent prover add hyp.png No edit summary current
- 09:4409:44, 1 January 2026 diff hist 0 N File:Sequent prover proof saving.png No edit summary current
- 09:4009:40, 1 January 2026 diff hist +33 Sequent Prover No edit summary
- 09:3909:39, 1 January 2026 diff hist 0 N File:Sequent prover transitions.png No edit summary
- 09:3409:34, 1 January 2026 diff hist −15 Sequent Prover No edit summary
- 09:3309:33, 1 January 2026 diff hist +3,855 Sequent Prover No edit summary
