solutions to the exercises from the Lean Theorem Prover

Stream: new members

[Notification Bot]

A message was moved here from #lean4 > Propositions as Types and Antipatterns by Eric Wieser.

[Eric Wieser]

I think someone else (taking the same course?) has asked a similar question here