In[]:=
ResourceFunction["MetamathImport"][URL["https://raw.githubusercontent.com/metamath/set.mm/master/peano.mm"]]
Out[]=
In[]:=
ResourceFunction["MetamathImport"][URL["https://raw.githubusercontent.com/metamath/set.mm/master/peano.mm"],"ProofGraph"]
Out[]=