diff options
| author | Thomas Bauereiss | 2018-04-18 16:07:00 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-04-18 16:20:33 +0100 |
| commit | 1dd0317817fcd143bea33bba4cfc15f5242210b5 (patch) | |
| tree | 89f06018f29368ce54f2823325e614f11e1844f7 /arm/armV8_extras_embed_sequential.lem | |
| parent | 9c25bec8e6106e1888719646867cccb24d71ca4a (diff) | |
Add a simple Hoare logic for sequential reasoning to the library
Diffstat (limited to 'arm/armV8_extras_embed_sequential.lem')
0 files changed, 0 insertions, 0 deletions