Verifier

[Kresten Krab Thorup]

Hi,

Does anyone here know if there is a free verifier available somewhere?
I looked around briefly on the net, and dit not find one.

There's a guy in my lab who'd like to make some extensions of one for
his own research, but aside from that, it would also be a good project
for someone to work on.

-- Kresten

 Kresten Krab Thorup, Ph.D. Candidate
 c/o Yonezawa Laboratory
 Department of Information Science   
 The University of Tokyo             
 7-3-1 Hongo, Bunkyo-ku, Tokyo 113 Japan
 Fax: +81-(0)3-5689-4365	 
 Phone: +81-(0)3-3812-2111 ext 4118
 Mobile: +81-(0)90-3693-5715