Creazione di verifiche JUnit

È possibile creare una verifica TPTP JUnit manualmente o da un caso di prova JUnit esistente.