tstp2agda-0.1.0.0: Proof-term reconstruction from TSTP to Agda

Index - S

SapData.TSTP
SatData.TSTP
ScaData.TSTP
SccData.TSTP
ScopedSignatureT2A.Core
SignatureT2A.Core
SimplifyData.TSTP
Source 
1 (Type/Class)Data.TSTP
2 (Data Constructor)Data.TSTP
sourceData.TSTP
Status 
1 (Type/Class)Data.TSTP
2 (Data Constructor)Data.TSTP
stdout2fileUtil
StripData.TSTP
SucData.TSTP
swapPrefixUtil