ivor-0.1.11: Theorem proving library based on dependent type theoryContentsIndex
ABCDEFGHIKLMNOPQRSTUVW>
Index (N)
Name
1 (Type/Class)
2 (Data Constructor)
name
namesIn
NameType
nameType
nametype
newShell
NoSuchVar
NotConvertible
numUnsolved