User contributions for Michael Leuschel - ProB Documentation

Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Michael Leuschel

Results for Michael Leuschel talk block log uploads logs

A user with 3,301 edits. Account created on 18 January 2010.

08:3508:35, 23 April 2020 diff hist +1,403 ParB →Files
08:3508:35, 23 April 2020 diff hist +1,446 ParB →Files
08:3308:33, 23 April 2020 diff hist +32 ParB No edit summary
08:2708:27, 23 April 2020 diff hist −6 Induction Proofs in B →The full model with the inductive proof
08:2608:26, 23 April 2020 diff hist −1 Induction Proofs in B →A generic induction proof
08:2508:25, 23 April 2020 diff hist −1 Induction Proofs in B →A generic induction proof
08:1508:15, 23 April 2020 diff hist +169 Induction Proofs in B →Induction and Pure Predicate Logic
08:0908:09, 23 April 2020 diff hist +9 ABZ14 →ProB Live Visualisations
08:0808:08, 23 April 2020 diff hist +2 ABZ14 →ProB Live Visualisations
07:5807:58, 23 April 2020 diff hist +71 Induction Proofs in B →Induction and B
07:5707:57, 23 April 2020 diff hist +64 Induction Proofs in B →Induction and B
07:5607:56, 23 April 2020 diff hist +2 Induction Proofs in B →Induction and Pure Predicate Logic
07:5607:56, 23 April 2020 diff hist +211 Induction Proofs in B →Encoding the Problem as a B Operation

09:3609:36, 22 April 2020 diff hist +1 Induction Proofs in B →Induction and B
09:3509:35, 22 April 2020 diff hist +110 Induction Proofs in B →Induction and B
09:3409:34, 22 April 2020 diff hist −1 Induction Proofs in B →Induction and B
09:3409:34, 22 April 2020 diff hist −2 Induction Proofs in B →Induction and B
09:3409:34, 22 April 2020 diff hist +198 Induction Proofs in B →Induction and B
09:1909:19, 22 April 2020 diff hist 0 Induction Proofs in B →Induction and pure Predicate Logic
09:1809:18, 22 April 2020 diff hist +1 Induction Proofs in B →Induction and pure Predicate Logic
09:1809:18, 22 April 2020 diff hist 0 N File:Rodin Induction Counter ProB.png No edit summary current
09:1809:18, 22 April 2020 diff hist +2,046 Induction Proofs in B →Encoding the Problem as a B Operation
09:0809:08, 22 April 2020 diff hist +14 Induction Proofs in B →Encoding as B Operation
09:0809:08, 22 April 2020 diff hist +72 Induction Proofs in B No edit summary
09:0509:05, 22 April 2020 diff hist +416 Induction Proofs in B →Encoding as B Operation
09:0009:00, 22 April 2020 diff hist 0 File:Rodin Induction Operation ProB.png Michael Leuschel uploaded a new version of File:Rodin Induction Operation ProB.png current
08:5708:57, 22 April 2020 diff hist +133 Induction Proofs in B →Encoding as B Operation
08:5608:56, 22 April 2020 diff hist 0 N File:Rodin Induction Operation ProB.png No edit summary
08:5308:53, 22 April 2020 diff hist +434 Induction Proofs in B No edit summary
07:0907:09, 22 April 2020 diff hist −1 Induction Proofs in B No edit summary
07:0907:09, 22 April 2020 diff hist −1 Induction Proofs in B No edit summary
07:0807:08, 22 April 2020 diff hist +107 Induction Proofs in B No edit summary
07:0807:08, 22 April 2020 diff hist −7 Induction Proofs in B No edit summary
07:0707:07, 22 April 2020 diff hist +11 Induction Proofs in B No edit summary
07:0607:06, 22 April 2020 diff hist +274 Induction Proofs in B No edit summary
06:5706:57, 22 April 2020 diff hist −1 Induction Proofs in B No edit summary
06:5606:56, 22 April 2020 diff hist +457 Induction Proofs in B →The full model with the inductive proof

17:1917:19, 21 April 2020 diff hist −83 Induction Proofs in B No edit summary
17:1917:19, 21 April 2020 diff hist +83 Induction Proofs in B No edit summary
17:1717:17, 21 April 2020 diff hist 0 Induction Proofs in B No edit summary
17:1717:17, 21 April 2020 diff hist +252 Induction Proofs in B No edit summary
17:1517:15, 21 April 2020 diff hist 0 N File:Rodin Induction ScreenshotFinal.png No edit summary current
17:1517:15, 21 April 2020 diff hist +1,459 Induction Proofs in B No edit summary
17:0817:08, 21 April 2020 diff hist 0 N File:Rodin Induction Screenshot3.png No edit summary current
17:0817:08, 21 April 2020 diff hist +80 Induction Proofs in B No edit summary
17:0717:07, 21 April 2020 diff hist 0 N File:Rodin Induction Screenshot2.png No edit summary current
17:0617:06, 21 April 2020 diff hist 0 N File:Rodin Induction Screenshot1.png No edit summary current
17:0617:06, 21 April 2020 diff hist +112 Induction Proofs in B No edit summary
17:0417:04, 21 April 2020 diff hist +1,791 Induction Proofs in B No edit summary
16:5416:54, 21 April 2020 diff hist 0 N File:ProB Induction Screenshot1.png No edit summary current

Retrieved from "https://prob.hhu.de/w/index.php?title=Special:Contributions/Michael_Leuschel"