Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: metamath/set.mm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,911 workflow runs
2,911 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Intuitionize the last element of a word and the concatenation of two words verifiers #10890: Pull request #5141 opened by jkingdon
3m 12s jkingdon:df-lsw
jkingdon:df-lsw
3m 12s
delete outdated OLD verifiers #10889: Pull request #5140 synchronize by wlammen
2m 40s wlammen:wl-2
wlammen:wl-2
2m 40s
delete outdated OLD verifiers #10888: Pull request #5140 opened by wlammen
2m 37s wlammen:wl-2
wlammen:wl-2
2m 37s
add vertex/edge access theorems to iset.mm verifiers #10887: Pull request #5139 opened by jkingdon
3m 14s jkingdon:vtx
jkingdon:vtx
3m 14s
work on bdayfin verifiers #10886: Commit df0dc72 pushed by sctfn
2m 54s surreal-finite
surreal-finite
2m 54s
prove some comparisons and closure laws verifiers #10885: Commit f15ac6e pushed by sctfn
2m 53s surreal-finite
surreal-finite
2m 53s
Proved that complex conjugation is not a polynomial (#5135) verifiers #10884: Commit 1a2f625 pushed by wlammen
2m 53s develop
develop
2m 53s
delete outdated OLD (#5134) verifiers #10883: Commit 220d46d pushed by wlammen
2m 38s develop
develop
2m 38s
delete outdated OLD verifiers #10882: Pull request #5134 synchronize by wlammen
3m 8s wlammen:wl-2
wlammen:wl-2
3m 8s
Proved that complex conjugation is not a polynomial verifiers #10881: Pull request #5135 synchronize by ProgramCrafter
2m 45s ProgramCrafter:my4
ProgramCrafter:my4
2m 45s
add mPoly to iset.mm (#5130) verifiers #10880: Commit 2a6881d pushed by jkingdon
2m 57s develop
develop
2m 57s
Proved that complex conjugation is not a polynomial verifiers #10879: Pull request #5135 opened by ProgramCrafter
3m 14s ProgramCrafter:my4
ProgramCrafter:my4
3m 14s
delete outdated OLD verifiers #10878: Pull request #5134 opened by wlammen
3m 16s wlammen:wl-2
wlammen:wl-2
3m 16s
Mathbox global choice changes (#5133) verifiers #10877: Commit 1b4243f pushed by wlammen
3m 9s develop
develop
3m 9s
Add laws for nested antecedents (#5132) verifiers #10876: Commit 08fab42 pushed by wlammen
2m 52s develop
develop
2m 52s
shortenings (#5131) verifiers #10875: Commit 4ca8b7d pushed by wlammen
3m 16s develop
develop
3m 16s
Mathbox global choice changes verifiers #10874: Pull request #5133 opened by BTernaryTau
2m 37s BTernaryTau:gblacfn
BTernaryTau:gblacfn
2m 37s
Add laws for nested antecedents verifiers #10873: Pull request #5132 synchronize by ducourtial
3m 5s ducourtial:develop
ducourtial:develop
3m 5s
Add laws for nested antecedents verifiers #10872: Pull request #5132 synchronize by ducourtial
2m 53s ducourtial:develop
ducourtial:develop
2m 53s
Add laws for nested antecedents verifiers #10871: Pull request #5132 opened by ducourtial
3m 6s ducourtial:develop
ducourtial:develop
3m 6s
Kan extensions generalize limits and colimits (#5127) verifiers #10870: Commit 14eb876 pushed by wlammen
3m 29s develop
develop
3m 29s
shortenings verifiers #10869: Pull request #5131 opened by icecream17
3m 34s icecream17:develop
icecream17:develop
3m 34s
add mPoly to iset.mm verifiers #10868: Pull request #5130 opened by jkingdon
2m 57s jkingdon:mpl
jkingdon:mpl
2m 57s
Add nninfnfiinf to iset.mm (#5129) verifiers #10867: Commit a0267b8 pushed by jkingdon
2m 52s develop
develop
2m 52s
gelete outdated OLD (#5128) verifiers #10866: Commit f3a9458 pushed by wlammen
9s develop
develop
9s