Skip to content

Actions: metamath/set.mm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,362 workflow runs
3,362 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Thin categories, prosets as categories, and poset/toset/lattice verifiers #7739: Pull request #4248 synchronize by zwang123
September 30, 2024 11:55 3m 1s zwang123:thin-cat-3
zwang123:thin-cat-3
September 30, 2024 11:55 3m 1s
Thin categories, prosets as categories, and poset/toset/lattice verifiers #7738: Pull request #4248 synchronize by zwang123
September 30, 2024 09:24 2m 32s zwang123:thin-cat-3
zwang123:thin-cat-3
September 30, 2024 09:24 2m 32s
Thin categories, prosets as categories, and poset/toset/lattice verifiers #7737: Pull request #4248 synchronize by zwang123
September 30, 2024 03:47 2m 46s zwang123:thin-cat-3
zwang123:thin-cat-3
September 30, 2024 03:47 2m 46s
Thin categories, prosets as categories, and poset/toset/lattice verifiers #7736: Pull request #4248 synchronize by zwang123
September 29, 2024 17:54 2m 16s zwang123:thin-cat-3
zwang123:thin-cat-3
September 29, 2024 17:54 2m 16s
Thin categories, prosets as categories, and poset/toset/lattice verifiers #7735: Pull request #4248 synchronize by zwang123
September 29, 2024 15:33 2m 23s zwang123:thin-cat-3
zwang123:thin-cat-3
September 29, 2024 15:33 2m 23s
Add part of sticks and stones (need help with dv condition verifiers #7734: Pull request #4254 synchronize by metakunt
September 29, 2024 12:41 2m 28s metakunt:ststone
metakunt:ststone
September 29, 2024 12:41 2m 28s
Thin categories, prosets as categories, and poset/toset/lattice verifiers #7733: Pull request #4248 synchronize by zwang123
September 29, 2024 05:57 2m 29s zwang123:thin-cat-3
zwang123:thin-cat-3
September 29, 2024 05:57 2m 29s
first steps towards decidable unben in iset.mm verifiers #7732: Pull request #4255 opened by jkingdon
September 29, 2024 05:20 2m 29s jkingdon:unbendc
jkingdon:unbendc
September 29, 2024 05:20 2m 29s
Thin categories, prosets as categories, and poset/toset/lattice verifiers #7731: Pull request #4248 synchronize by zwang123
September 29, 2024 04:27 2m 10s zwang123:thin-cat-3
zwang123:thin-cat-3
September 29, 2024 04:27 2m 10s
sn-wcdeq, 19.8aw verifiers #7730: Pull request #4251 synchronize by icecream17
September 28, 2024 23:35 2m 17s icecream17:evlsrhm2
icecream17:evlsrhm2
September 28, 2024 23:35 2m 17s
Add MndToCat and other related theorems (#4242) verifiers #7729: Commit eb846b3 pushed by benjub
September 28, 2024 18:21 2m 37s develop
develop
September 28, 2024 18:21 2m 37s
Add part of sticks and stones (need help with dv condition verifiers #7728: Pull request #4254 synchronize by metakunt
September 28, 2024 17:39 2m 53s metakunt:ststone
metakunt:ststone
September 28, 2024 17:39 2m 53s
Add part of sticks and stones (need help with dv condition verifiers #7727: Pull request #4254 synchronize by metakunt
September 28, 2024 16:57 2m 14s metakunt:ststone
metakunt:ststone
September 28, 2024 16:57 2m 14s
Add part of sticks and stones (need help with dv condition verifiers #7726: Pull request #4254 synchronize by metakunt
September 28, 2024 16:43 3m 3s metakunt:ststone
metakunt:ststone
September 28, 2024 16:43 3m 3s
Add part of sticks and stones (need help with dv condition verifiers #7725: Pull request #4254 synchronize by metakunt
September 28, 2024 16:39 2m 53s metakunt:ststone
metakunt:ststone
September 28, 2024 16:39 2m 53s
Thin categories, prosets as categories, and poset/toset/lattice verifiers #7724: Pull request #4248 synchronize by zwang123
September 28, 2024 05:29 2m 22s zwang123:thin-cat-3
zwang123:thin-cat-3
September 28, 2024 05:29 2m 22s
added negsproplem3 and some related theorems verifiers #7723: Commit a85564f pushed by sctfn
September 28, 2024 03:10 2m 50s surreal-negation
surreal-negation
September 28, 2024 03:10 2m 50s
Surreal numbers - cofinality (#4247) verifiers #7722: Commit e883152 pushed by sctfn
September 27, 2024 23:43 15s surreal-negation
surreal-negation
September 27, 2024 23:43 15s
Add part of sticks and stones (need help with dv condition verifiers #7721: Pull request #4254 synchronize by metakunt
September 27, 2024 22:01 2m 21s metakunt:ststone
metakunt:ststone
September 27, 2024 22:01 2m 21s
Add part of sticks and stones (need help with dv condition verifiers #7720: Pull request #4254 synchronize by metakunt
September 27, 2024 21:59 2m 16s metakunt:ststone
metakunt:ststone
September 27, 2024 21:59 2m 16s
Add part of sticks and stones (need help with dv condition verifiers #7719: Pull request #4254 synchronize by metakunt
September 27, 2024 21:56 2m 53s metakunt:ststone
metakunt:ststone
September 27, 2024 21:56 2m 53s
Add part of sticks and stones (need help with dv condition verifiers #7718: Pull request #4254 synchronize by metakunt
September 27, 2024 18:57 2m 37s metakunt:ststone
metakunt:ststone
September 27, 2024 18:57 2m 37s
Add part of sticks and stones (need help with dv condition verifiers #7717: Pull request #4254 synchronize by metakunt
September 27, 2024 18:24 2m 28s metakunt:ststone
metakunt:ststone
September 27, 2024 18:24 2m 28s
Add part of sticks and stones (need help with dv condition verifiers #7716: Pull request #4254 opened by metakunt
September 27, 2024 18:22 2m 32s metakunt:ststone
metakunt:ststone
September 27, 2024 18:22 2m 32s
Avoid ax-addf,mulf in rlimadd,mul verifiers #7715: Pull request #4252 opened by icecream17
September 27, 2024 15:06 2m 16s icecream17:axf
icecream17:axf
September 27, 2024 15:06 2m 16s