Anne Mulhern

Suggest Changes
Learn More
Mulhern Automated proof assistants provide few facilities for incremental development. Generally, if the underlying structures on which a proof is based are modified, the developer must redo much of(More)
i I wish to thank Charles Fischer and Ben Liblit, sine quibus non. Others who have contributed significantly to the progress of this thesis are: • The people who have attended my Coq seminars. • The(More)
  • 1