Thoughts on Requirements and Design Issues of User Interfaces for Proof Assistants

Norbert Völker. Thoughts on Requirements and Design Issues of User Interfaces for Proof Assistants. Electronic Notes in Theoretical Computer Science, 103:139-159, 2004. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.