search

Ayertienna / IS5

Intuitionistic S5 logic formalization
4 stars 0 forks source link

LLOkLib library #43

Closed Ayertienna closed 11 years ago

Ayertienna commented 11 years ago

Lemmas in this library are mostly admitted, they should be similar if not identical to the ones in OkLib

Ayertienna commented 11 years ago

Done