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

Closed didriklundberg closed 8 months ago