ivor-0.1.11: Theorem proving library based on dependent type theoryContentsIndex
ABCDEFGHIKLMNOPQRSTUVW>
Index (I)
idTac
importFile
indices
induction
Inductive
1 (Type/Class)
2 (Data Constructor)
interactive
intro
introName
intros
intros1
introsNames
isAuxPattern
IsData
isItJust
IsTerm