: in progress
An attempt to make a list of important publications related
to the field of user interfaces for theorem provers: mainly
those with connections to Proof General. Not necessarily complete or
unbiased.
Notifications
RSS Feed |
|
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? Send feedback
This Wiki uses Cookies
|
|
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.