Latest version of io.github.leoprover:scala-tptp-parser_2.13
https://javadoc.io/doc/io.github.leoprover/scala-tptp-parser_2.13
Current version 1.6
https://javadoc.io/doc/io.github.leoprover/scala-tptp-parser_2.13/1.6
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/io.github.leoprover/scala-tptp-parser_2.13/1.6/package-list