The first section texts were checked in to the OLP GitHub repository just over 10 years ago. That first checkin consisted of just a few style files and six sections on sets and relations, and relational semantics for modal logic.
The first section texts were checked in to the OLP GitHub repository just over 10 years ago. That first checkin consisted of just a few style files and six sections on sets and relations, and relational semantics for modal logic.