mmsolitaire
@xamidi/mmsolitaire
Branch of
metamath/mmsolitaire/pmproofs
of the
Metamath Solitaire project
.
Contributions:
[
2be2349
] found 17 shorter proofs (
proposal
)
[
21911f8
] found 5 shorter proofs (
proposal
)
[
f9a40e7
] found 40 shorter proofs (
proposal
)
