History log of /seL4-l4v-master/HOL4/examples/Hoare-for-divergence/div_logicScript.sml
Revision Date Author Comments
# 2d759821 03-Sep-2020 Magnus Myreen <magnus.myreen@cl.cam.ac.uk>

New example: a sound and complete Hoare logic for diverging programs

This is joint work with @IlmariReissumies