peterodigie

Pinned Repositories

OpenLogic
An open-source, customizable intermediate logic textbook
Language:TeX1 0 00
peterodigie
Config files for my GitHub profile.
00

peterodigie's Repositories

peterodigie/OpenLogic
An open-source, customizable intermediate logic textbook
Language:TeX1 0 00
peterodigie/peterodigie
Config files for my GitHub profile.
00