Slc f21 bis - Githubissues

OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook

http://openlogicproject.org/

Creative Commons Attribution 4.0 International

1.08k stars 242 forks source link

Slc f21 bis #323

Closed rzach closed 2 years ago