SKIL: A System for Programming with Proofs.

Didier Galmiche, O. Hermann

Browse the full LPAR paper archive.