~james/split

☆ 1

History of proof/Snapshot.thy on main

f044a95a6b feat(snapshot): prove promotion preserves unselected snapshot contentsVerified ~james
james · 11 days ago
97648de5fc refactor(layout): relocate proof guest and host build inputsVerified ~james
james · 2 months ago