elle-cli icon indicating copy to clipboard operation
elle-cli copied to clipboard

Published 20 hours ago • verified publisher icon ligurio

Remove model knossos-register

Open ligurio opened this issue 2 years ago • 0 comments

There are some options for the same or similar models:

  • elle-rw-register and knossos-register uses the same history format, as far as I understand elle-rw-register is more rigorous and has a rough formalization of its soundness proof written in Isabelle/HOL, see a source code and proof.

ligurio avatar May 01 '22 19:05 ligurio