Sorry, the term Edinburgh proof assistant is not in the dictionary. Check the spelling and try removing suffixes like "-ing" and "-s".
Why is this definition missing?
Nearby terms:
Edinburgh Multi Access System ♦ Edinburgh Prolog ♦ Edinburgh SML ♦ Edison ♦ edit
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading