Skip to content
This repository has been archived by the owner on Jul 1, 2020. It is now read-only.

First realease.
Compare
Choose a tag to compare
@jonaprieto jonaprieto released this 17 Mar 21:35
· 37 commits to master since this release
20170317
e30c88f

TPTP problems in the problems folder and its included a PDF to preview fastly all problems.

Assets 3
Loading