Zulip Chat Archive
Stream: new members
Topic: solutions to the exercises from the Lean Theorem Prover
Notification Bot (Nov 07 2022 at 12:02):
A message was moved here from #lean4 > Propositions as Types and Antipatterns by Eric Wieser.
Eric Wieser (Nov 07 2022 at 12:04):
I think someone else (taking the same course?) has asked a similar question here
Last updated: May 02 2025 at 03:31 UTC