Logic and Proof solutions

Stream: new members

[Newell Jensen]

Are the solutions for Logic and Proof (i.e. https://leanprover.github.io/logic_and_proof) available anywhere?

[Bryan Gin-ge Chen]

Not as far as I know, but feel free to ask about any of the questions here.

[Newell Jensen]

Bryan Gin-ge Chen said:

Not as far as I know, but feel free to ask about any of the questions here.

@Bryan Gin-ge Chen Thanks for the response. Will wait to see if I can finish all of them on my own before reaching out to people. Cheers.