Group Green

This group is charged with building a theorem prover based on the inverse method.

 Scott Crosby  crosby@andrew
 Derek Dreyer  dreyer@cs
 Leaf Peterson leaf@cs
 Kevin Watkins kw@cs