Repeating proofs for unbox_fetch and get_here

Ayertienna / IS5

Intuitionistic S5 logic formalization

4 stars 0 forks source link

Closed Ayertienna closed 11 years ago

Ayertienna commented 12 years ago

The proofs for those two are almost identical - and code duplication sucks