Can I contribute proofs to theorems whose proof left for exercise?

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

Can I contribute proofs to theorems whose proof left for exercise? #362

Open marethyu opened 7 months ago

marethyu commented 7 months ago

Hi,

I am wondering if it is alright to contribute my own proofs for theorems/propositions in the book whose proof is left as exercises?

rzach commented 7 months ago

I haven't really thought about how to do that -- I suppose instructors using the text wouldn't want solutions to exercises be available on the internet. But I can collect them and put them somewhere out of sight. Email them to me at rzach@ucalgary.ca?