prove the continuity theorem
Closed this issue · 0 comments
cyrus- commented
by taking as an assumption the sensibility theorem from POPL17 (should just be the composition of the theorems from this paper)
that'll finalize Sec 3 stuff, so then all that isn't mechanized is sec 4