Disjoint Sums over Type Classes in HOL
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Handbook of automated reasoning
Local Theory Specifications in Isabelle/Isar
Types for Proofs and Programs
Hi-index | 0.00 |