search

Ayertienna / IS5

Intuitionistic S5 logic formalization
4 stars 0 forks source link

All the small lemmas... - lang. equiv. #10

Closed Ayertienna closed 11 years ago

Ayertienna commented 12 years ago

..for terms, contexts etc

Ayertienna commented 12 years ago
Ayertienna commented 11 years ago

done