Proper generalisation of well-founded relation in program logic #157

Closed didriklundberg closed 11 months ago