ivor-0.1.11: Theorem proving library based on dependent type theoryContentsIndex
ABCDEFGHIKLMNOPQRSTUVW>
Index (L)
Label
labeltype
Lambda
left
Let
load