Zulip Chat Archive
Stream: new members
Topic: SOlutions for "Theorem proving in LEAN 4" exercises
Jordi Majó (Aug 20 2023 at 00:05):
Hello,
I am very new here. Does anyone know if there is a solutions document to the exercises in "Theorem Proving in LEAN 4"?
Thx
Last updated: Dec 20 2023 at 11:08 UTC