Andrea Kohlhase

Research Programmer

School of Computer Science
Carnegie Mellon University
5000 Forbes Ave
Pittsburgh, PA 15213
USA

office: WH 7106
phone: 412-268-4935
mail: ako@cs.cmu.edu

Temporary Downloads

• Look at the newest CPoint Release and information on http://www.cs.cmu.edu/~ccaps
• Look at the newest CPoint Alpha Versions and Alpha Information on www.faculty.iu-bremen.de/mkohlhase/kwarc/software