Tom Ridge

 

Entries

2004

September 28: A Mechanically Verified, Efficient, Sound and Complete Theorem Prover For First Order Logic

September 20: Ramsey's theorem, infinitary version

September 20: Completeness theorem