Skip to content
verifiers

Merge branch 'develop' of https://github.com/metamath/set.mm into av_rn2 #590

Sign in to view logs

Merge branch 'develop' of https://github.com/metamath/set.mm into av_rn2

Merge branch 'develop' of https://github.com/metamath/set.mm into av_rn2 #590

Annotations

1 warning

Verify using mmj2 (Java verifier by Mel L. O'Cat and Mario Carneiro)

Verify using mmj2 (Java verifier by Mel L. O'Cat and Mario Carneiro)
succeeded Dec 28, 2024 in 1m 4s