vc-ed
vc-ed copied to clipboard
Proof Methods
Do we want to make recommendations about proof methods or just provide references?