Skip to content
Build the manual with mdBook

a first draft for automated testing of tptp compliance #118

Sign in to view logs

a first draft for automated testing of tptp compliance

a first draft for automated testing of tptp compliance #118

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
6s
6s