Publication
User Interface for Adaptive Suggestions for Interactive Proof
Martin Pollet; Erica Melis; Andreas Meier
In: Proceedings of the International Workshop on User Interfaces for Theorem Provers (UITP). Workshop on User Interfaces for Theorem Provers (UITP), Pages 133-142, 2003.