search

Ayertienna / IS5

Intuitionistic S5 logic formalization
4 stars 0 forks source link

Document language equivalence #31

Closed Ayertienna closed 11 years ago

Ayertienna commented 12 years ago

There won't be much to say, but for the sake of completeness, we might document this in tex as well.

Depends on #12, #13, #14

Ayertienna commented 11 years ago

actually there was a lot and it's mostly done