theorem_proving_in_lean4 icon indicating copy to clipboard operation
theorem_proving_in_lean4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

add links to tutorials

Open chabulhwi opened this issue 1 year ago • 1 comments

Add links to FPiL and the metaprogramming book.

Fixes #28.

Zulip discussion: https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/add.20links.20to.20other.20lean.20tutorials.20to.20tpil4

chabulhwi avatar Apr 07 '23 13:04 chabulhwi

I didn't notice #54 already updated the URL.

chabulhwi avatar Apr 08 '23 23:04 chabulhwi