TAS - A Generic Window Inference System
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Functional design and implementation of graphical user interfaces for theorem provers
Journal of Functional Programming
Abstracting refinements for transformation
Nordic Journal of Computing
Structured formal development in Isabelle
Nordic Journal of Computing - Selected papers of the 17th nordic workshop on programming theory (NWPT'05), October 19-21, 2005
Interactive Theorem Proving with Tasks
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |