Skip to content

PSOATransRun-v1.3.2-b

Choose a tag to compare

View all tags
@tmitsi tmitsi released this 23 Oct 13:59
· 91 commits to master since this release
PSOATransRun-v1.3.2-b
4aa538e 
generate error message for slotted expressions for TPTP
Assets 2
Loading