Added some extra problems.

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

Closed feffemannen closed 2 years ago

rzach commented 2 years ago

I added some and removed some of the natural deduction exercises, and divided them into three problems (easy/medium/hard). Hope that's ok with you.

feffemannen commented 2 years ago

Looks great. Thanks!