This repository was archived by the owner on Jan 27, 2021. It is now read-only.

Update proving.md#33

Open

ankitkachru wants to merge 1 commit intomicrosoft:masterfrom

ankitkachru:patch-2

Commits on Oct 27, 2018

Update proving.md
ankitkachru
authored