The Work
Design Proof Assistant
The details
The Author
Gérard Huet
The offers
