creators_name: Abrial, Jean-Raymond
type: rodin_archive
datestamp: 2009-07-22 17:23:07
lastmod: 2010-04-19 15:05:56
metadata_visibility: show
title: Doing Mathematics with the Rodin Platform
subjects: deploy_method_proof
subjects: examples
full_text_status: public
abstract: Proof of Well-ordering theorem in Rodin
citation:   Abrial, Jean-Raymond   Doing Mathematics with the Rodin Platform.  [Rodin Archive]     
document_url: http://deploy-eprints.ecs.soton.ac.uk/138/1/sld_zrm.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/138/2/Zer_ess.zip