Difference between revisions of "User Registration"
From CVC4
(New page: To register as a new user, please contact a member of the NYU team, especially: * [http://www.cs.nyu.edu/~mdeters/ Morgan Deters] * [http://www.cs.nyu.edu/~dejan/ Dejan Jovanovic]) |
m |
||
| Line 1: | Line 1: | ||
| − | To register as a new user, please contact a member of the | + | To register as a new user, please contact a member of the Stanford team, especially: |
| − | * [http:// | + | * [http://theory.stanford.edu/~barrett/ Clark Barrett] |
| − | + | ||
Latest revision as of 12:44, 7 June 2017
To register as a new user, please contact a member of the Stanford team, especially:
