add additional derived laws of the program logic
Showing
- theories/examples/refinements/derived.v 224 additions, 5 deletionstheories/examples/refinements/derived.v
- theories/examples/refinements/refinement.v 13 additions, 3 deletionstheories/examples/refinements/refinement.v
- theories/program_logic/refinement/ref_source.v 8 additions, 0 deletionstheories/program_logic/refinement/ref_source.v
Loading
Please register or sign in to comment