Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
metamath
/
set.mm
Public
Notifications
You must be signed in to change notification settings
Fork
108
Star
336
Code
Issues
131
Pull requests
14
Actions
Projects
Wiki
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Wiki
Security and quality
Insights
Actions: metamath/set.mm
Actions
All workflows
Workflows
verifiers
verifiers
Show more workflows...
Management
Caches
All workflows
All workflows
Actions
Loading...
Loading
Sorry, something went wrong.
Uh oh!
There was an error while loading.
Please reload this page
.
will be ignored since log searching is not yet available
Showing runs from all workflows
will be ignored since log searching is not yet available
1,770 workflow runs
1,770 workflow runs
Workflow
Filter by Workflow
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching workflows.
Event
Filter by Event
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching events.
Status
Filter by Status
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching statuses.
Branch
Filter by Branch
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching branches.
Actor
Filter by Actor
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching users.
Add dfrn7 and rnr1
verifiers
#12075:
Pull request
#5511
synchronize by
benjub
2m 39s
dfrn7
dfrn7
2m 39s
View #5511
View workflow file
Shorten imadifssrn, rankwflemb
verifiers
#12074:
Commit
2174273
pushed by
benjub
3m 8s
dfrn7
dfrn7
3m 8s
View #5511
View workflow file
Add set-mbox-jag mathbox
verifiers
#12073:
Pull request
#5432
synchronize by
jorge-agra
3m 18s
jorge-agra:jag/tgaas-aas-mathbox
jorge-agra:jag/tgaas-aas-mathbox
3m 18s
View #5432
View workflow file
Cumulative hierarchy of sets cleanup (#5510)
verifiers
#12072:
Commit
0bbe482
pushed by
benjub
2m 33s
develop
develop
2m 33s
View workflow file
mpt3 function value theorems
verifiers
#12071:
Pull request
#5513
opened by
BTernaryTau
3m 9s
BTernaryTau:mpt3fv
BTernaryTau:mpt3fv
3m 9s
View #5513
View workflow file
Cumulative hierarchy of sets cleanup
verifiers
#12070:
Pull request
#5510
synchronize by
benjub
3m 42s
r1fun
r1fun
3m 42s
View #5510
View workflow file
Edit comments of df-r1, df-rank.
verifiers
#12069:
Commit
0978513
pushed by
benjub
3m 15s
r1fun
r1fun
3m 15s
View #5510
View workflow file
Cumulative hierarchy of sets cleanup
verifiers
#12068:
Pull request
#5510
synchronize by
benjub
3m 46s
r1fun
r1fun
3m 46s
View #5510
View workflow file
Edit comments of df-r1, df-rank.
verifiers
#12067:
Commit
35a2b7d
pushed by
benjub
4m 32s
r1fun
r1fun
4m 32s
View workflow file
restructure prjspner1 --> prjspnnorm
verifiers
#12066:
Pull request
#5504
synchronize by
icecream17
2m 42s
icecream17:develop
icecream17:develop
2m 42s
View #5504
View workflow file
Add dfrn7 and rnr1
verifiers
#12065:
Pull request
#5511
opened by
benjub
10s
dfrn7
dfrn7
10s
View #5511
View workflow file
Add rnr1.
verifiers
#12064:
Commit
57d9eda
pushed by
benjub
2m 34s
dfrn7
dfrn7
2m 34s
View workflow file
Add set-mbox-jag mathbox
verifiers
#12063:
Pull request
#5432
synchronize by
jorge-agra
3m 1s
jorge-agra:jag/tgaas-aas-mathbox
jorge-agra:jag/tgaas-aas-mathbox
3m 1s
View #5432
View workflow file
Add set-mbox-jag mathbox
verifiers
#12062:
Pull request
#5432
synchronize by
jorge-agra
Action required
jorge-agra:jag/tgaas-aas-mathbox
jorge-agra:jag/tgaas-aas-mathbox
Action required
View #5432
View workflow file
Cumulative hierarchy of sets cleanup
verifiers
#12061:
Pull request
#5510
synchronize by
benjub
2m 58s
r1fun
r1fun
2m 58s
View #5510
View workflow file
Clarify comment following suggestion.
verifiers
#12060:
Commit
b53f20d
pushed by
benjub
2m 57s
r1fun
r1fun
2m 57s
View workflow file
Fermat's Last Theorem - basic reductions, FLT for N=4 (#5492)
verifiers
#12059:
Commit
6a06336
pushed by
tirix
2m 38s
develop
develop
2m 38s
View workflow file
Cumulative hierarchy of sets cleanup
verifiers
#12058:
Pull request
#5510
opened by
benjub
8s
r1fun
r1fun
8s
View #5510
View workflow file
Comment edits related to cumulative hierarchy of sets: precisions, co…
verifiers
#12057:
Commit
15192b1
pushed by
benjub
2m 38s
r1fun
r1fun
2m 38s
View workflow file
Create section in my mathbox for hereditarily finite sets (#5509)
verifiers
#12056:
Commit
08e7ffc
pushed by
tirix
3m 7s
develop
develop
3m 7s
View workflow file
Prove an mpt3 equality theorem and that mpt3 is a function (#5499)
verifiers
#12055:
Commit
4c73851
pushed by
tirix
2m 47s
develop
develop
2m 47s
View workflow file
Create section in my mathbox for hereditarily finite sets
verifiers
#12054:
Pull request
#5509
synchronize by
EricSchmidt-119
2m 31s
EricSchmidt-119:mathbox-hf
EricSchmidt-119:mathbox-hf
2m 31s
View #5509
View workflow file
Create section in my mathbox for hereditarily finite sets
verifiers
#12053:
Pull request
#5509
opened by
EricSchmidt-119
2m 36s
EricSchmidt-119:mathbox-hf
EricSchmidt-119:mathbox-hf
2m 36s
View #5509
View workflow file
a bit more on nth roots of unity (iset.mm) (#5502)
verifiers
#12052:
Commit
b01dc8a
pushed by
jkingdon
2m 58s
develop
develop
2m 58s
View workflow file
Fermat's Last Theorem - basic reductions, FLT for N=4
verifiers
#12051:
Pull request
#5492
synchronize by
avekens
2m 49s
avekens:av-flt1
avekens:av-flt1
2m 49s
View #5492
View workflow file
Previous
1
2
3
4
5
…
70
71
Next
You can’t perform that action at this time.