If you want to change one of the apps, you'll need to edit or write new code. Most of our code is written in Dafny, so this section gives you some Ironclad-specific advice about how to code in Dafny. This section assumes you already have some familiarity with Dafny, e.g., from reading the online tutorial at http://rise4fun.com/Dafny/tutorial/guide.

Mathematical properties

Last edited Oct 15, 2014 at 12:08 AM by howell, version 2

Comments

No comments yet.