User contributions for Z43ma
Jump to navigation
Jump to search
14 November 2018
- 00:4200:42, 14 November 2018 diff hist −1 Reinforcement Learning of Theorem Proving No edit summary
- 00:4100:41, 14 November 2018 diff hist +1 Reinforcement Learning of Theorem Proving No edit summary
- 00:4000:40, 14 November 2018 diff hist −7 Reinforcement Learning of Theorem Proving No edit summary
- 00:3000:30, 14 November 2018 diff hist +49 Reinforcement Learning of Theorem Proving No edit summary
- 00:2200:22, 14 November 2018 diff hist 0 Reinforcement Learning of Theorem Proving No edit summary
- 00:1900:19, 14 November 2018 diff hist −3 Reinforcement Learning of Theorem Proving No edit summary
- 00:1500:15, 14 November 2018 diff hist +16 Reinforcement Learning of Theorem Proving No edit summary
- 00:1400:14, 14 November 2018 diff hist −16 Reinforcement Learning of Theorem Proving No edit summary
- 00:1300:13, 14 November 2018 diff hist −8 Reinforcement Learning of Theorem Proving No edit summary
- 00:1200:12, 14 November 2018 diff hist 0 N File:atp result1.jpg No edit summary current
- 00:1200:12, 14 November 2018 diff hist +437 Reinforcement Learning of Theorem Proving No edit summary
- 00:0900:09, 14 November 2018 diff hist 0 N File:atp result0.jpg No edit summary current
- 00:0700:07, 14 November 2018 diff hist +8 Reinforcement Learning of Theorem Proving No edit summary
- 00:0600:06, 14 November 2018 diff hist +6,192 Reinforcement Learning of Theorem Proving No edit summary
13 November 2018
- 21:5421:54, 13 November 2018 diff hist 0 N File:mizar40 3.png No edit summary current
- 21:5321:53, 13 November 2018 diff hist 0 N File:mizar40 2.png No edit summary current
- 21:5321:53, 13 November 2018 diff hist 0 N File:mizar40 1.png No edit summary current
- 21:5321:53, 13 November 2018 diff hist 0 N File:mizar40 0.png No edit summary current
- 21:5321:53, 13 November 2018 diff hist 0 N File:mizar article.png No edit summary current
- 21:5121:51, 13 November 2018 diff hist +1,374 Reinforcement Learning of Theorem Proving No edit summary