Skip to content

v1.2.2

Choose a tag to compare

View all tags
@jcschuster jcschuster released this 20 May 13:07
· 19 commits to main since this release
v1.2.2
5205d12 
fix for parsing TPTP files with includes
Assets 2
Loading