History of proof/Snapshot.thy on f044a95a6ba71c8d90a5222c81c63ce5da190372

f044a95a6b feat(snapshot): prove promotion preserves unselected snapshot contents

james · 11 days ago

97648de5fc refactor(layout): relocate proof guest and host build inputs

james · 2 months ago