ivor-0.1.11: Theorem proving library based on dependent type theoryContentsIndex
ABCDEFGHIKLMNOPQRSTUVW>
Index (T)
tacs
Tactic
Term
1 (Type/Class)
2 (Data Constructor)
term
thaw
theorem
toPattern
traceTac
transform
trivial
try
trySolve
TTError
ttfail
TTM
TypeCon
typecon
typeof