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

Dutch Project leader: Henk Barendregt

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

Maintained by Fairouz Kamareddine