title: Mathematical Language of Event-B Proofs
creator: Voisin, Laurent
subject: ADVANCE Project
subject: Provers
subject: Rodin platform
subject: Event-B Examples
description: This model proves correct the optimisation implemented in Rodin 3.0 for storing the mathematical language in which proofs are written.    See http://wiki.event-b.org/index.php/Language_of_an_Event-B_Component for more details on the context of this model.
date: 2013-11-20
type: Rodin Archive
type: NonPeerReviewed
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/464/1/ProofLanguage.zip
identifier:   Voisin, Laurent  (2013) Mathematical Language of Event-B Proofs.  [Rodin Archive]     
relation: http://deploy-eprints.ecs.soton.ac.uk/464/