Rodin Handbook
This work is sponsored by the Deploy Project
This work is sponsored by the ADVANCE Project
This work is licensed under a Creative Commons Attribution 3.0 Unported License
 |
 |
 |
Rodin User’s Handbook v.2.8 |  |
 |
 |
1.2.5 Proofs for the Working Engineer (2008)
In his dissertation at the ETH Zurich Fahrad Mehta describes how theorem proving can be a practical tool for software engineers and presents the ideas that are used in building Rodin’s infrastructure.
|
|
|
|
|
|