User contributions for Tjligocki

Jump to navigation Jump to search
Search for contributionsExpandCollapse
⧼contribs-top⧽
⧼contribs-date⧽
(newest | oldest) View ( | older 50) (20 | 50 | 100 | 250 | 500)

28 August 2024

  • 04:0704:07, 28 August 2024 diff hist −357 BB(2)Removed what I added and Shawn modified yesterday because it will likely soon be superseded by adding a BB(2,2) theorem to the Coq-BB5 code.
  • 04:0604:06, 28 August 2024 diff hist −154 BB(2,3)Removed what I added yesterday because it will likely soon be superseded by adding a BB(2,3) theorem to the Coq-BB5 code. Tag: Manual revert

26 August 2024

25 August 2024

13 August 2024

28 June 2024

6 June 2024

5 June 2024

(newest | oldest) View ( | older 50) (20 | 50 | 100 | 250 | 500)