In[]:=
2+2
Out[]=
4
In[]:=
LaunchKernels[]
In[]:=
faxlist=
;​​ax=ResourceFunction["UnformalizeSymbols"][Last/@AxiomaticTheory[#]/.First[Values[AxiomaticTheory[#,"Operators"]]]SmallCircle&/@Last/@faxlist];
In[]:=
ecx2=ReplacePart
[◼]
EntailmentConeTheoremArray
[Extract[ax,Position[ax,x_?(Length[#]==1&)]],70,1],{1,1}MapIndexed[StringTemplate["`` (``)"][#,First[#2]]&,First/@Extract[faxlist,Position[ax,x_?(Length[#]==1&)]]];
In[]:=
ecx2
Out[]=
In[]:=
ecx2=ReplacePart
[◼]
EntailmentConeTheoremArray
[Extract[ax,Position[ax,x_?(Length[#]==1&)]],70,2],{1,1}MapIndexed[StringTemplate["`` (``)"][#,First[#2]]&,First/@Extract[faxlist,Position[ax,x_?(Length[#]==1&)]]];
Parallel`Protected`PacketHandler
::default
:Unhandled packet SyntaxPacket[170473] received and discarded from kernel 84.
​
Parallel`Protected`PacketHandler
::default
:Unhandled packet SyntaxPacket[5791] received and discarded from kernel 64.
​
Parallel`Protected`PacketHandler
::default
:Unhandled packet SyntaxPacket[94679] received and discarded from kernel 62.
​
General
:Further output of Parallel`Protected`PacketHandler::default will be suppressed during this calculation.
[◼]
PlotTheoremArray
{Take[#,32],Take[#,70]}&@
[◼]
EnumerateEquationalExpressions
[{a,b},3]->ConstantArray[1,Dimensions[ecx1[[2]]]],ColorRules{1White},MeshStyleLightGray,EpilogStyleDisk[{#[[2]]-.5,Length[ecx2[[2]]]+.5-#[[1]]},.5],
[◼]
MetamathematicsStyleData
["TokenEventEdgeStyle"]&/@Join[Position[ecx2[[2]],1,{2}]]