Improving the Nuprl Proof Development System
{'Code': '05010500', 'Directorate': {'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'S. Kamal Abdali'}
None
[{'FirstName': 'Douglas', 'LastName': 'Howe', 'EmailAddress': None, 'StartDate': '09/01/1987', 'EndDate': None, 'RoleCode': 'Co-Principal Investigator'}, {'FirstName': 'Robert', 'LastName': 'Constable', 'EmailAddress': 'rc@cs.cornell.edu', 'StartDate': '09/01/1987', 'EndDate': None, 'RoleCode': 'Principal Investigator'}]
{'Name': 'Cornell University', 'CityName': 'Ithaca', 'ZipCode': '148502820', 'PhoneNumber': '6072555014', 'StreetAddress': '373 Pine Tree Road', 'CountryName': 'United States', 'StateName': 'New York', 'StateCode': 'NY'}
[{'Code': '2865', 'Text': 'NUMERIC, SYMBOLIC & GEO COMPUT'}, {'Code': '2880', 'Text': 'SOFTWARE ENGINEERING AND LANGU'}, {'Code': '9120', 'Text': 'CROSS-DIRECTORATE PROGRAMS'}, {'Code': '9145', 'Text': 'SPECIAL PROGRAMS-RESERVE'}]
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1986&All=true', 'xml': '8616552.xml'}