| Reasoning About Programs: CAL Tool |
| HOME | MANUAL | ABOUT | LINKS | DOWNLOAD | CONTACT |
Welcome Welcome to the homepage of the Reasoning About Programs: CAL Tool. Here you can find out about the ongoing development of this 3rd year project. Use the bar above to navigate to the sections: Manual: From getting started with the basics to using conditionals and iteration. About: Background of the project, it's progress so far and current functionality. Links: Links to related websites that may be useful. Contact: Report Bugs, request features or contact the author here. |