Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Branch: master
Fetching contributors…

Cannot retrieve contributors at this time

55 lines (42 sloc) 1.433 kB
/********************************************************************
* PROGRAM NAME: STP (Simple Theorem Prover)
*
* AUTHORS: Vijay Ganesh
*
* BEGIN DATE: November, 2005
*
* LICENSE: Please view LICENSE file in the home dir of this Program
********************************************************************/
Primary Author and Project Leader
---------------------------------
* Vijay Ganesh
Stanford University, Stanford, CA, USA (Nov, 2005 to 2007),
MIT, Cambridge, MA, USA (Oct, 2007 to Sep 2012)
University of Waterloo (Sep 2012 to present
Current Authors
---------------
* Mate Soos
Paris University 6, Paris, France (Nov 2009 - present)
* Dan Liew
Imperial College, London, UK (2013 - present)
* Khoo Yit Phang
University of Maryland, College Park, USA (2013 - present)
* Ryan Govostes
Apple Inc., USA (2013 - present)
Other Significant Author
------------------------
* Trevor Alexander Hansen
University of Melbourne, Australia (Sep, 2008 - present)
Authors who contributed some code
---------------------------------
* Michael Katelman
University of Illinois, Urbana-Champaign, USA (July - Oct, 2008)
* David L. Dill
Stanford University, Stanford, CA, USA (Nov - Dec, 2005)
* Tim King
Stanford University, Stanford, CA, USA (July - Sep, 2007)
* Philip Guo
Stanford University, Stanford, CA, USA (Dec 2008)
Thanks
----------
* Steve Poland for the 'stp' group name in GitHub
Jump to Line
Something went wrong with that request. Please try again.