Formal Proof Authoring: an Experiment. UITP (2003)

by L Théry