ivor-0.1.11: Theorem proving library based on dependent type theory Contents Index

A B C D E F G H I K L M N O P Q R S T U V W >

Index (B)

basicRefine Ivor.TT beta Ivor.TT bindings Ivor.TT Bound Ivor.ViewTerm, Ivor.TT boundnames Ivor.TT by Ivor.TT