GitHub repository: rzach/boxes-and-diamonds
Primary language: TeX
Description: Open textbook on modal logic