Versions Compared

Old Version 16

changes.mady.by.user Jim Entwood

Saved on

compared with

New Version 17

changes.mady.by.user Jim Entwood

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Our method relies on using http://newsite.nuprl.org/software/

Image Added

To create correct-by-construction code we:

...