Vlad-Shcherbina/TheoryOfRefinement

proving theorems in Hoare's theory of refinement with ITP

Verilog