Development and user testing of new user interfaces for mathematics and programming tools
Interactive theorem provers are software tools that help users create machine-checked proofs. Although difficult to use, they have been playing an important role in the effort to create highly reliable software. I present several novel user interface ideas for interactive theorem provers, generaliza...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | English |
| Published: |
University of Iowa
2014
|
| Subjects: | |
| Online Access: | https://ir.uiowa.edu/etd/1430 https://ir.uiowa.edu/cgi/viewcontent.cgi?article=5471&context=etd |