zipperposition icon indicating copy to clipboard operation
zipperposition copied to clipboard
verified publisher icon sneeuwballen

try to fix escaping of identifiers in TPTP output (#93)

Open c-cube opened this issue 3 years ago • 0 comments

c-cube avatar Oct 17 '22 13:10 c-cube