GitHub - ibnyusuf/thesis_problem_sets: Contains the problem sets that I tested Vampire over during my thesis

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
LCL_FOF_problems.tar		LCL_FOF_problems.tar
LCL_TH0_problems.tar		LCL_TH0_problems.tar
SET_FOF_problems.tar		SET_FOF_problems.tar
SET_TH0_problems.tar		SET_TH0_problems.tar

About

Contains the problem sets that I tested Vampire over during my thesis