test-data

Dec 1, 2020

de15b7a · Dec 1, 2020

Name	Name	Last commit message	Last commit date
parent directory ..
szs	szs	Parse the extra # that Vampire sometimes insert	Dec 1, 2020
tptp	tptp	Add more unit tests	Dec 8, 2019
tstp	tstp	Fix broken unit test file	May 6, 2019

Provide feedback