creators_name: Voisin, Laurent
creators_id: laurent.voisin@systerel.fr
type: rodin_archive
datestamp: 2013-11-20 12:45:52
lastmod: 2013-11-20 12:45:52
metadata_visibility: show
title: Mathematical Language of Event-B Proofs
subjects: ADVANCE
subjects: Proof
subjects: deploy_tooldev_rodinplatform
subjects: examples
full_text_status: public
abstract: 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
date_type: completed
institution: Systerel
citation:   Voisin, Laurent  (2013) Mathematical Language of Event-B Proofs.  [Rodin Archive]     
document_url: http://deploy-eprints.ecs.soton.ac.uk/464/1/ProofLanguage.zip