Versions Compared

Old Version 26

changes.mady.by.user Jim Entwood

Saved on

compared with

New Version 27

changes.mady.by.user Jim Entwood

Saved on

Key

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

...

Using EventML's interface with Nuprl, we generate the ILF. If there are any issues with the proof we revise the specification and reiterate the process with the ILF.

Image Modified

Step 3 - Synthesize Consensus Code

...