A Rodin plug-in for constructing reusable schematic lemmas Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, Alexander Romanovsky Newcastle University, UK

First Page		Document Content
Date: 2016-05-20 11:29:27 Mathematics Lemmas Mathematical proof		A Rodin plug-in for constructing reusable schematic lemmas Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, Alexander Romanovsky Newcastle University, UK Add to Reading List Source URL: wiki.event-b.org Download Document from Source Website File Size: 71,55 KB Share Document on Facebook