Skip to content

Actions: avekens/set.mm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
160 workflow runs
160 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

typo, unnecessary distinct variable conditions verifiers #461: Commit a6d1049 pushed by avekens
January 13, 2024 10:53 2m 15s av-alg2
av-alg2
January 13, 2024 10:53 2m 15s
Theorems about magmas, semigroups and monoids (continued) verifiers #460: Commit 65d6f8d pushed by avekens
January 13, 2024 10:16 2m 45s av-alg2
av-alg2
January 13, 2024 10:16 2m 45s
Revision after review verifiers #459: Commit 875b428 pushed by avekens
January 7, 2024 12:10 3m 45s av-misc-3
av-misc-3
January 7, 2024 12:10 3m 45s
Merge branch 'develop' into av-misc-3 verifiers #458: Commit 3a0d720 pushed by avekens
January 6, 2024 09:24 2m 12s av-misc-3
av-misc-3
January 6, 2024 09:24 2m 12s
Miscellaneous verifiers #457: Commit bf1fda4 pushed by avekens
January 5, 2024 08:08 2m 20s av-misc-3
av-misc-3
January 5, 2024 08:08 2m 20s
2023 -> 2024 verifiers #456: Commit e4d1316 pushed by avekens
January 3, 2024 17:40 2m 23s av-gt-2
av-gt-2
January 3, 2024 17:40 2m 23s
minor adjustments for Graph Theory verifiers #455: Commit c360af5 pushed by avekens
January 3, 2024 14:01 2m 22s av-gt-2
av-gt-2
January 3, 2024 14:01 2m 22s
Revision after second review verifiers #454: Commit a7c71e8 pushed by avekens
December 31, 2023 11:41 2m 13s av-alg1
av-alg1
December 31, 2023 11:41 2m 13s
Revisions according to review remarks verifiers #453: Commit 10ae49f pushed by avekens
December 30, 2023 18:21 2m 38s av-alg1
av-alg1
December 30, 2023 18:21 2m 38s
Merge branch 'develop' into av-alg1 verifiers #452: Commit 1d6e6ea pushed by avekens
December 30, 2023 15:06 2m 22s av-alg1
av-alg1
December 30, 2023 15:06 2m 22s
Merge branch 'develop' into av-alg1 verifiers #451: Commit 626b412 pushed by avekens
December 29, 2023 16:11 2m 13s av-alg1
av-alg1
December 29, 2023 16:11 2m 13s
Theorems about magmas, semigroups and monoids verifiers #450: Commit fa18d7c pushed by avekens
December 29, 2023 15:41 3m 13s av-alg1
av-alg1
December 29, 2023 15:41 3m 13s
Review remarks verifiers #449: Commit d91b350 pushed by avekens
November 26, 2023 13:55 2m 13s av-gd5
av-gd5
November 26, 2023 13:55 2m 13s
Merge https://github.com/metamath/set.mm into av-gd5 verifiers #448: Commit cd79b65 pushed by avekens
November 26, 2023 08:11 2m 26s av-gd5
av-gd5
November 26, 2023 08:11 2m 26s
typos fixed verifiers #447: Commit b3aa491 pushed by avekens
November 22, 2023 15:03 2m 23s av-gd5
av-gd5
November 22, 2023 15:03 2m 23s
Revisions and additions verifiers #446: Commit 4ec4e20 pushed by avekens
November 21, 2023 17:06 3m 43s av-gd5
av-gd5
November 21, 2023 17:06 3m 43s
Revision after review remark verifiers #445: Commit a72130e pushed by avekens
November 19, 2023 15:14 2m 19s av-gd5
av-gd5
November 19, 2023 15:14 2m 19s
Merge branch 'develop' into av-gd5 verifiers #444: Commit a7da59c pushed by avekens
November 19, 2023 08:37 2m 18s av-gd5
av-gd5
November 19, 2023 08:37 2m 18s
elnanel revised verifiers #443: Commit 149f892 pushed by avekens
November 18, 2023 12:42 2m 11s av-gd5
av-gd5
November 18, 2023 12:42 2m 11s
Minor improvements verifiers #442: Commit 39d984c pushed by avekens
November 18, 2023 11:11 2m 32s av-gd5
av-gd5
November 18, 2023 11:11 2m 32s
Theorems for Godel-sets (5) verifiers #441: Commit fbc06bb pushed by avekens
November 18, 2023 10:59 2m 25s av-gd5
av-gd5
November 18, 2023 10:59 2m 25s
Some minor corrections verifiers #440: Commit 5a2599d pushed by avekens
November 5, 2023 16:43 3m 5s av-gd4
av-gd4
November 5, 2023 16:43 3m 5s
Theorems for Godel-sets (4a) - rewrap verifiers #439: Commit 472ed58 pushed by avekens
November 5, 2023 16:15 2m 17s av-gd4
av-gd4
November 5, 2023 16:15 2m 17s
Merge branch 'develop' into av-gd3 verifiers #438: Commit 937e458 pushed by tirix
November 3, 2023 07:21 3m 30s av-gd3
av-gd3
November 3, 2023 07:21 3m 30s
correction of copy&paste error verifiers #437: Commit 2bb6e3b pushed by avekens
October 28, 2023 19:31 3m 2s av-gd3
av-gd3
October 28, 2023 19:31 3m 2s