UK/Dutch collaborative project

Supported by the Royal Society


European Science Exchange Programme ESEP

An Efficient and User Friendly Proof Development Environment

Supported by the Royal Society

UK project leader: Fairouz Kamareddine

Dutch Project leader: Henk Barendregt

Other Participants: Jan Willem Klop, Erik Barendsen, Joe Wells


Maintained by Fairouz Kamareddine