Skip to content

Storage: verify raw_context equality

Guillaume Claret requested to merge guillaume-claret@storage-check-raw_context-kernel into master
  • complete the definitions in TODO
  • prove the lemma in TODO
Edited by Daniel Hilst

Merge request reports