Pinned Repositories
TheoryOfRefinement
proving theorems in Hoare's theory of refinement with ITP
IVM's Repositories
IVM doesn’t have any repository yet.
proving theorems in Hoare's theory of refinement with ITP
IVM doesn’t have any repository yet.