issues
search
OpenLogicProject
/
OpenLogic
An open-source, customizable intermediate logic textbook
http://openlogicproject.org/
Creative Commons Attribution 4.0 International
1.06k
stars
240
forks
source link
Modal logic fixups
#363
Closed
davidvandebunte
closed
7 months ago