tpg
tpg copied to clipboard
Published
20 hours ago •
wo
wo
Tree Proof Generator
Results
11
tpg issues
Sort by
recently updated
recently updated
newest added
I am trying the McCune group example, and I noticed a browser freeze:  Its usually freezing here:  The problem link is: https://www.umsu.de/trees/#(~6X(m(0,X)=X)~1~6X(m(i(X),X)=0)~1~6X~6Y~6Z(m(m(X,Y),Z)=m(X,m(Y,Z))))~5(m(a,b)=m(b,a))
