GitHub repository: rzach/sets-logic-computation
Primary language: TeX
Description: Textbook on metalogic based on the Open Logic Project